theorem :: TDLAT_1:41

for T being TopSpace holds Closed_Domains_Lattice T is SubLattice of Domains_Lattice T