Axiom:Axiom of Replacement/Class Theory/Formulation 3

Axiom
Every mapping whose domain is a set is also a set.

Also see

 * Equivalence of Formulations of Axiom of Replacement