PDF version
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
sets.

This says for every pair of sets and there exists a set that contains and and no other members.

home | consulting | videos | book | QM FAQ | contact |