Cartesian Product

Theroem (2.3) - Distributive property

• $A\times (B\cup C)=(A\times B)\cup (A\times C)$
• $(B\cup C)\times A=(B\times A)\cup (C\times A)$
• $A\times (B\cap C)=(A\times B)\cap (A\times C)$
• $(B\cap C)\times A=(B\times A)\cap (C\times A)$
• $A\times (B\setminus C)=(A\times B)\setminus (A\times C)$
• $(B\setminus C)\times A=(B\times A)\setminus (C\times A)$