Completed
second draft of this book

PDF version
of this book

**Next:** Axiom of infinity **Up:** Axioms of Set
Theory **Previous:** Axiom of unordered pairs
**Contents**

A set is an arbitrary collection of objects. The axiom of union allows us to combine the objects in many different sets and make them members of a single new set. It says we can go down two levels taking not the members of a set but the members of members of a set and combine them into a new set.

This says for every set there exists a set that is the union of all the members of . For every that belongs to there must be some set such that belongs to and belongs to .

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