Definition (Closed under bounded quantification). A class of formulas $\mathrm{\Gamma }$ is closed under bounded quantification if whenever $\phi$ is in $\mathrm{\Gamma }$, then so are $\exists x\in y,\phi$ and $\forall x\in y,\phi$.