Axiom schema of replacement

ID: axiom-schema-of-replacement

The Axiom Schema of Replacement is a fundamental concept in set theory, particularly in Zermelo-Fraenkel set theory (ZF), which forms the basis of much of modern mathematics. This axiom schema deals with the existence of sets that can be defined by a certain property or function.

New to topics? Read the docs here!