ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F5495 on R2224: Set union is associative
F5495
Formulation 0
Let $X$, $Y$, and $Z$ each be a D11: Set.
Then \begin{equation} (X \cup Y) \cup Z = X \cup (Y \cup Z) \end{equation}