ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2082 on D77: Set union
Binary set union with empty set
Formulation 0
Let $X$ be a D11: Set.
Let $\emptyset$ be the D13: Empty set.
Then \begin{equation} X \cup \emptyset = \emptyset \cup X = X \end{equation}