Google
×

Axiom schema of replacement

In set theory, the axiom schema of replacement is a schema of axioms in Zermelo–Fraenkel set theory that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite sets in... Wikipedia