theorem :: FINTOPO8:37

for NT being NTopSpace
for A, B being Subset of NT st A misses B holds
NTop2Top A misses NTop2Top B ;