Cartesian Product of Unions

Theorem

 * $\paren {A \cup B} \times \paren {C \cup T_2} = \paren {A \times C} \cup \paren {B \times D} \cup \paren {A \times D} \cup \paren {B \times C}$