for T being non empty TopSpace holds Domains_Lattice T is complete