for T being TopSpace
for A being Subset of T holds Cl (A \/ (Int (A `))) = [#] T