Welcome guest
You're not logged in.
292 users online, thereof 0 logged in

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.

| | | | | created: 2019-01-12 22:29:17 | modified: 2019-01-12 23:20:14 | by: bookofproofs | references: [983]

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

(none)

### Bibliography (further reading)

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