Axiom schema of predicative separation

in set theory, the axiom schema that a subset of a set exists if it can be defined without reference to the entire universe of sets

Pronunciation

Categories