Relative Complement of Cartesian Product/Proof 2

Proof
and so by definition of set equality:
 * $\relcomp {A \mathop \times B} {X \times Y} = \paren {A \times \relcomp B Y} \cup \paren {\relcomp A X \times B}$