Axiom schema of predicative separation

In axiomatic set theory, the axiom schema of predicative separation, or of restricted, or Δ0 separation, is a schema of axioms that is a restriction of the usual axiom schema of separation in Zermelo–Fraenkel set theory. This name Δ0 stems from the Lévy hierarchy, in analogy with the arithmetic hierarchy.