[05X]Given four sets \(X,Y,A,B\) with \(A⊂ X,B⊂ Y\), write
as a union of three sets, pairwise disjoint, each a Cartesian product.
[05Y]↺↻
