theorem Th14: :: TDLAT_1:14

for T being TopSpace holds {} T is condensed