Welcome guest
You're not logged in.
293 users online, thereof 1 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.

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

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


This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)

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

FeedsAcknowledgmentsTerms of UsePrivacy PolicyImprint
© 2018 Powered by BooOfProofs, All rights reserved.