Intersection of Empty Set/Class Theory

Theorem
Let $V$ be a basic universe.

Let $\O$ denote the empty class.

Then the intersection of $\O$ is $V$:


 * $\ds \bigcap \O = V$

Proof
By definition of $V$ we have that $\ds \bigcap \O \subseteq V$.

By definition of empty class, there exists no set $x \in V$ which is an element of $\O$.

Hence it is vacuously true that every element of $V$ is an element of every element of $\O$.

Therefore every $x \in V$ is an element of $\ds \bigcap \O$.

Therefore $V \subseteq \ds \bigcap \O$.

It follows by definition of class equality that $\ds \bigcap \O = V$.