theorem Th90: :: TDLAT_2:91

for T being non empty TopSpace holds Domains_Lattice T is complete