Proceeding directly from the definitions \begin{equation} \begin{split} X \cup Y & = \{ x : x \in X \text{ or } x \in Y \} \\ & = \{ x : x \in Y \text{ or } x \in X \} \\ & = Y \cup X \end{split} \end{equation} $\square$