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

(i) | $X \times Y \times Z$ and $(X \times Y) \times Z$ are each a D326: Cartesian product |

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