theorem Th19: :: TDLAT_1:19

for T being TopSpace holds [#] T is closed_condensed