theorem :: FINTOPO8:26

for NT being NTopSpace
for A, B being Subset of NT st A c= B holds
Cl A c= Cl B by Lm18;