Please note that neither the set resulting in the axiom of pairing, nor the respective set resulting in the axiom of union 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

The set union $A\cup B$ of two arbitrary sets $A$ and $B$ is well-defined.

| | | | | Contributors: *bookofproofs* | References: [983]

## 1.**Proof**: *(related to "Justification of Set Union")*

(none)

[983] **Ebbinghaus, H.-D.**: “Einführung in die Mengenlehre”, BI Wisschenschaftsverlag, 1994, 3

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint

© 2018 Powered by BooOfProofs, All rights reserved.

© 2018 Powered by BooOfProofs, All rights reserved.