theorem Th85: :: TDLAT_2:86

for T being non empty TopSpace holds the carrier of (Domains_Lattice T) = Domains_of T