Axiom:Class Comprehension Schema

Axiom
For any formula $\phi$ containing no quantifiers over classes, there is a class $A$ such that:


 * $\forall x: \paren {x \in A \iff \map \phi x}$