theorem :: FINTOPO8:29

for NT being NTopSpace
for A, B being Subset of NT st A = ([#] NT) \ B holds
( A is open iff B is closed ) ;