of this book
Next: Axiom of union Up: Axioms of Set Theory Previous: Axiom of the empty Contents
From any two sets and one 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.