ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2224 on D77: Set union
Set union is associative
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}