reserve T for TopSpace;
reserve T for non empty TopSpace;
reserve F for Subset-Family of T;
reserve T for non empty TopSpace;
reserve T for non empty TopSpace;
reserve T for non empty TopSpace;

theorem Th93:
  the carrier of Closed_Domains_Lattice T = Closed_Domains_of T
proof
  Closed_Domains_Lattice T = LattStr(#Closed_Domains_of T,CLD-Union T,
    CLD-Meet T#) by TDLAT_1:def 8;
  hence thesis;
end;
