One of the Zermelo-Fraenkel axioms which asserts the existence for any set of a set such that, for any of , if there exists a satisfying , then such exists in ,
This axiom was introduced by Fraenkel.
One of the Zermelo-Fraenkel axioms which asserts the existence for any set of a set such that, for any of , if there exists a satisfying , then such exists in ,
This axiom was introduced by Fraenkel.
Weisstein, Eric W. "Axiom of Replacement." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AxiomofReplacement.html