 Bounded formula in set theory

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.