ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4060 on D326: Cartesian product

Appropriately parenthesised cartesian products are isomorphic

Formulation 0

Let $X$, $Y$, and $Z$ each be a D11: Set.

Then \begin{equation} X \times (Y \times Z) \cong (X \times Y) \times Z \end{equation}