theorem Th1: :: TDLAT_3:1

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