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