theorem :: FINTOPO8:13

for NT being NTopSpace
for A being Subset of NT holds Int A = Int (Int A) by Th12;