[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]↺↻
