theorem Th18: :: TDLAT_1:18

for T being TopSpace holds {} T is closed_condensed