 The five definition principles correspond to a finite axiomatization of the elementary comprehension principle, and they imply the existence of exactly those sets (relations), which are definable by formulas in the elementary language comprising two predicate symbols for \(=, E\). More explicitly, one requires closure under the logical operations of negation, conjunction, existential quantification and suitable combinatorial operations of permutation and expansion.