theorem Th43: :: TDLAT_1:43

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