Bounded formula in set theory
= Bounded formula in set theory
{title2=$\Delta_0$}
A bounded formula in set theory has every quantifier in one of the forms $\forall x\in y$ or $\exists x\in y$. Such formulas are absolute between transitive models containing their parameters.