Replacement Axiom

$\forall x\exists y\forall z(z\in x\to \exists !w\varphi (z,w))\Rightarrow \exists r\forall t(t\in r\leftrightarrow \exists s\in x\varphi (s,t))$

• The image of a set under a definable function is a set.