Axiom:Axiom of Replacement/Class Theory/Formulation 2

Axiom
For every mapping $f$ and set $x$, the restriction $f \restriction x$ is a set.

Also see

 * Equivalence of Formulations of Axiom of Replacement