Axiom:Axiom of Replacement/Class Theory/Formulation 1

Axiom
For every mapping $f$ and set $x$ in the domain of $f$, the image $f \sqbrk x$ is a set.

Also see

 * Equivalence of Formulations of Axiom of Replacement