theorem Th40: :: TDLAT_1:40

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