The Clowder Project

\begin{align*} A\times \webleft (B\setminus C\webright ) & = \webleft (A\times B\webright )\setminus \webleft (A\times C\webright ),\\ \webleft (A\setminus B\webright )\times C & = \webleft (A\times C\webright )\setminus \webleft (B\times C\webright ), \end{align*}