for NT being NTopSpace
for A being Subset of NT holds
( A is open iff Int A = A )