Axiom schema of replacement

in set theory, the axiom schema that the image of a set under a definable class function is also a set

Pronunciation

Categories