theorem :: FINTOPO8:11

for NT being NTopSpace
for A, B being Subset of NT st A c= B holds
Int A c= Int B by Lm17;