Axiom:Axiom of Unions/Class Theory

From ProofWiki
Jump to navigation Jump to search

Axiom

Let $x$ be a set (of sets).

Then its union $\bigcup x$ is also a set.


Also known as

The Axiom of Unions is in fact most frequently found with the name Axiom of Union.

However, in some treatments of axiomatic set theory and class theory, for example Morse-Kelley set theory this name is used to mean something different.

Hence $\mathsf{Pr} \infty \mathsf{fWiki}$ specifically uses the plural form Axiom of Unions for this, and reserves the singular form Axiom of Union for that.


Other terms that can be found to refer to the Axiom of Unions:

the Axiom of the Sum Set
the Axiom of Amalgamation
the Union Axiom.


Also see

  • Results about the axiom of unions can be found here.


Sources