Ontology Browser
›
set-theory
› Axiom schema of replacement
Axiom schema of replacement
Layer 0 — Mathematics
in the
set-theory
subtree
The image of a set under any definable function is also a set.
Related concepts
Axiom schema of separation
Axiom of extensionality
Explore Axiom schema of replacement on the interactive knowledge graph →