for T being TopSpace
for A being Subset of T st A is condensed holds
Int A is open_condensed