theorem Th2: :: TDLAT_3:2

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