theorem :: FINTOPO8:10

for NT being NTopSpace
for A being Subset of NT holds Int A c= A by Lm15;