ThmDex – An index of mathematical definitions, results, and conjectures.
F9336
Formulation 0
Let $X : = \{ 0 \}$, $Y : = \{ 1 \}$, and $Z : = \{ 1 \}$ each be a D11: Set.
Then \begin{equation} X \times (Y \times Z) \neq (X \times Y) \times Z \end{equation}