theorem :: TDLAT_1:26

for T being TopSpace
for A being Subset of T st A is condensed holds
Cl (A `) is closed_condensed by Th16, Th24;