for T being TopSpace holds CLD-Meet T = (D-Meet T) || (Closed_Domains_of T)