theorem Th21: :: TDLAT_1:21

for T being TopSpace holds [#] T is open_condensed