for T being non empty TopSpace
for A being Subset of T holds A ^0 = Cl (A ^0)