Axiom:Axiom of Replacement/Class Theory
Jump to navigation Jump to search
For every mapping $f$ and set $x$ in the domain of $f$, the image $f \sqbrk x$ is a set.
For every mapping $f$ and set $x$, the restriction $f \restriction x$ is a set.
Every mapping whose domain is a set is also a set.
Also known as
The axiom of replacement is also known as the axiom of substitution.
- Results about the Axiom of Replacement can be found here.
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.