Axiom:Axiom of Replacement/Class Theory

Also see

 * Equivalence of Formulations of Axiom of Replacement