What relations and functions are available in the language?

I understand that means a set definable by a formula with bounded quantifiers only. A number n is even iff there exists an m <= n such that 2m = n. A number n is prime iff and for all m < n, if m divides n, then m = 1.