  Condition (ii) — the Δ0-separation scheme — is a restricted version of Zermelo's axiom of separation. Condition (iii) — a similarly weakened version of the axiom of replacement — may be called the Δ0-replacement scheme. 