theorem Th5: :: TDLAT_1:5

for T being TopSpace
for A being Subset of T holds Int (Cl A) = Int (Cl (Int (Cl A)))