for T being TopSpace
for A being Subset of T holds Cl (Int A) is closed_condensed