for T being TopSpace
for A being Subset of T holds
( Cl A <> {} iff A <> {} )