Definition (Delta0). ${\mathrm{\Delta }}_0$ is the smallest class of formulas containing the atomic formulas that is closed under propositional connectives and bounded quantifiers.

Let $T$ be any theory. Then ${\mathrm{\Delta }}_0^T$ is the class of formulas equivalent to a ${\mathrm{\Delta }}_0$ formula in $T$.