Unions and Intersections of Sets
This unit is in preparation.
The expected publication date is April 2020.
The present unit is part of the following walks
- Overview
- The Axiom of Pairing
- Unions of Sets
- Intersections of Sets
- The Complement of a Set
- The Power Set of a Set
- Notes and References
Overview
The present union explains the following basic methods of constructing new sets from given sets.
The text on this website summarizes the relevant definitions and theorems. The pdf document also contains the proofs of the propositions and theorems.
The Axiom of Pairing
Axiom. Let A and B be two sets.
- There exists the set C := {A}
- There exists the set D := {A, B}
French / German. Axiom of Pairing = Axiome de la paire = Paarmengenaxiom.
Unions of Sets
Axiom. (Axiom of Unions) Let $C$ be a set.