Axiom:Axiom of Empty Set/Class Theory

Axiom
Let $V$ be a basic universe. The empty class $\O$ is a set, that is:
 * $\O \in V$