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}