# Axiom:Axiom of Replacement/Set Theory

Jump to navigation
Jump to search

## Axiom

For every mapping $f$ and subset $S$ of the domain of $f$, there exists a set containing the image $f \sqbrk S$.

More formally, let us express this as follows:

Let $\map P {x, z}$ be a propositional function, which determines a mapping.

That is, we have:

- $\forall x: \exists ! y : \map P {x, y}$.

Then we state as an axiom:

- $\forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$

## Also presented as

The **Axiom of Replacement** may be presented as a single (somewhat unwieldy) expression:

- $\forall x: \exists ! y : \map P {x, y} \implies \forall A: \exists B: \forall y: \paren {y \in B \iff \exists x \in A : \map P {x, y} }$

## Also known as

The **axiom of replacement** is also known as the **axiom of substitution**.

## Historical Note

The **axiom of replacement** was added to the axioms of **Zermelo set theory** by Abraham Halevi Fraenkel, and also independently by Thoralf Albert Skolem.

The resulting system of axiomatic set theory is now referred to as **Zermelo-Fraenkel Set Theory**.

## Sources

- 1982: Alan G. Hamilton:
*Numbers, Sets and Axioms*... (previous) ... (next): $\S 4$: Set Theory: $4.2$ The Zermelo-Fraenkel axioms: $\text {ZF7}$ - 2002: Thomas Jech:
*Set Theory*(3rd ed.) ... (previous) ... (next): Chapter $1$: Replacement Schema

- Weisstein, Eric W. "Zermelo-Fraenkel Axioms." From
*MathWorld*--A Wolfram Web Resource. https://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html