theorem :: FINTOPO8:47

for T being non empty strict TopSpace
for A being Subset of T holds Int A = Int (Top2NTop A) by Lm30;