> For the complete documentation index, see [llms.txt](https://mandober.gitbook.io/math-debrief/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://mandober.gitbook.io/math-debrief/200-set-theory/set-theory-axioms/axiom-of-replacement.md).

# Axiom of replacement

**Axiom schema of replacement**

> The axiom schema of replacement asserts that the image of a set under any definable function will also fall inside a set.

Formally, let \phi be any formula in the language of ZFC whose free variables are among {\displaystyle x,y,A,w*{1},\dotsc ,w*{n)), so that in particular B is not free in \phi . Then:

{\displaystyle \forall A\forall w*{1}\forall w*{2}\ldots \forall w\_{n}{\bigl \[}\forall x(x\in A\Rightarrow \exists !y\\,\phi )\Rightarrow \exists B \forall x{\bigl (}x\in A\Rightarrow \exists y(y\in B\land \phi ){\bigr )}{\bigr ]}.} In other words, if the relation \phi represents a definable function f, A represents its domain, and f(x) is a set for every x\in A, then the range of f is a subset of some set B. The form stated here, in which B may be larger than strictly necessary, is sometimes called the axiom schema of collection.