Доказать или опровергнуть соотношение алгебры множеств:
(X1 ⊆ X2) & (Y1 ⊆ Y2) ⇔ (X1 ∪Y1) ⊆ (X2 ∪Y2 );