theorem :: FINTOPO8:22

for NT being NTopSpace
for A, B being Subset of NT st B = ([#] NT) \ A holds
([#] NT) \ (Cl A) = Int B by Lm14;