• Distributivity Over Unions. We have isomorphisms of sets
    \begin{align*} A\times \webleft (B\cup C\webright ) & = \webleft (A\times B\webright )\cup \webleft (A\times C\webright ),\\ \webleft (A\cup B\webright )\times C & = \webleft (A\times C\webright )\cup \webleft (B\times C\webright ). \end{align*}

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: