Relative Complement of Cartesian Product/Proof 1

Proof
From Set with Relative Complement forms Partition:
 * $A = \set {X \mid \relcomp A X}$
 * $B = \set {Y \mid \relcomp B Y}$

and so by definition of partition:
 * $A = X \cup \relcomp A X$
 * $B = Y \cup \relcomp B Y$

By Cartesian Product of Unions:


 * $A \times B = \paren {X \times Y} \cup \paren {\relcomp A X \times \relcomp B Y} \cup \paren {X \times \relcomp B Y} \cup \paren {\relcomp A X \times Y}$

and so: