Axiom:Axiom of Pairing/Class Theory

From ProofWiki
Jump to navigation Jump to search


Let $a$ and $b$ be sets.

Then the class $\set {a, b}$ is likewise a set.

Also known as

The axiom of pairing is also known as the axiom of the unordered pair.

Some sources call it the pairing axiom.

Also see