Axiom of Replacement

$$\begin{array}{rl}& \forall n:\mathbb{N};X:Set;\varphi :Se{t}^n\to Set.\exists S:Set\\ & x\in S⟺\exists \bar{y}\in Se{t}^n.\varphi (\bar{y})=x\end{array}$$