second draft of this book
of this book
Next: Axiom of union Up: Axioms of Set Theory Previous: Axiom of the empty Contents
If we have two sets and we can construct a set that contains both and . The notation for that set is .
This axiom constructs a new set from any two existing
This says for every pair of sets and there exists a set that contains and and no other members.