theorem Th39: :: TDLAT_1:39

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