theorem Th107: :: TDLAT_2:108

for T being non empty TopSpace holds Open_Domains_Lattice T is complete