Axiom:Axiom of Replacement

Also see

 * Equivalence of Formulations of Axiom of Replacement