comprehension axiom

$$\begin{array}{rl}& \forall X:Set;\varphi :Set\to \text{Bool}.\exists S:Set\\ & x\in S⟺x\in X\wedge \varphi (x)\end{array}$$