theorem Th34: :: FINTOPO8:34

for NT being NTopSpace
for A being Subset of NT holds Int A = Int (NTop2Top A)