theorem Th98: :: TDLAT_2:99

for T being non empty TopSpace holds Closed_Domains_Lattice T is complete