theorem Th15: :: TDLAT_1:15

for T being TopSpace holds [#] T is condensed