The Axiom Schema of Replacement says that if one replaces each of the elements of a set according to some formula, then the result is also a set.

Axiom Schema (Replacement)

Let${\displaystyle P(x,y,A)}$ be a property such that for each${\displaystyle x\in A}$ there is a unique${\displaystyle y}$ such that${\displaystyle P(x,y,A)}$ holds. There exists a set${\displaystyle B}$ consisting of all the${\displaystyle y}$ for which there exists some${\displaystyle x\in A}$ such that${\displaystyle P(x,y,A)}$ holds.

Technically the formula is allowed to have finitely many free variables, and is often written${\displaystyle P(x,y,w_1,w_2,\dots ,w_n,A)}$.

As for the Axiom Schema of Comprehension, there is an axiom in the schema for every possible property${\displaystyle P(x,y,w_1,w_2,\dots ,w_n,A)}$.

As for the Axiom of Foundation, most of mathematics can be accomplished without the Axiom Schema of Replacement. However, the axiom allows for the construction of certain infinite sets that are important in set theory itself.

• Book:Mathematical Proof and the Principles of Mathematics