theorem :: FINTOPO8:24

for NT being NTopSpace
for A being Subset of NT holds A c= Cl A by Lm21;