theorem Th42: :: TDLAT_1:42

for T being TopSpace holds OPD-Union T = (D-Union T) || (Open_Domains_of T)