theorem Th12: :: FINTOPO8:12

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