Please note that neither the set resulting in the axiom of pairing, nor the respective set resulting in the "axiom of union":https://www.bookofproofs.org/branches/axiom-of-union-ernst/ are required to contain exactly the initial two sets, respectively their elements. This is indicated schematically in the above diagrams by some additional elements in comparison to the initial sets. But if we apply both axioms, we are now able to justify the union of sets.# Corollary: Justification of Set Union
(related to Axiom: Axiom of Union)
The set union $A\cup B$ of two arbitrary sets $A$ and $B$ is well-defined.
Proofs: 1
