theorem Th78: :: ZFMISC_1:79

for A, B being set holds union (A /\ B) c= (union A) /\ (union B)