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