Axiom:Class Comprehension Schema

Axiom
For any formula $\phi$ containing no quantifiers over classes, there is a class A such that $\forall x (x \in A \leftrightarrow \phi(x))$.