axiom schema of specification

Let \(X\) be a set and \(\phi\) a formula on \(X\). Then

\begin{align*} \{x \in X \vert \varphi(x)\} \end{align*}

is a set