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.
Axiom of Replacement
See also
Zermelo-Fraenkel AxiomsExplore with Wolfram|Alpha
References
Itô, K. (Ed.). "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press, pp. 146-148, 1986.Referenced on Wolfram|Alpha
Axiom of ReplacementCite this as:
Weisstein, Eric W. "Axiom of Replacement." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/AxiomofReplacement.html