theorem Th32: :: TDLAT_1:32

for T being TopSpace
for A, B being Element of Closed_Domains_of T holds (CLD-Union T) . (A,B) = (D-Union T) . (A,B)