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}$