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!