theorem Th23: :: TDLAT_1:23

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