theorem Th20: :: TDLAT_1:20

for T being TopSpace holds {} T is open_condensed