for X being TopSpace
for C being Subset of X holds Cl (C `) = (Int C) `