Intersection of Non-Empty Class is Set

Theorem
Let $V$ be a basic universe.

Let $A \subseteq V$ be a non-empty class.

Let $\displaystyle \bigcap A$ denote the intersection of $A$.

Then $\displaystyle \bigcap A$ is a set.

Proof
We are given that $A$ is non-empty.

Then $\exists x \in A$ where $x$ is a set.

By definition of intersection of class, every element of $\displaystyle \bigcap A$ is an element of all elements of $A$.

Thus:
 * $\displaystyle \bigcap A \subseteq x$

We are given that $A$ is a subclass of the basic universe $V$.

Thus $x \in V$ by definition of basic universe.

By the Axiom of Swelledness, $V$ is a swelled class.

By definition of swelled class, every subclass of a set $x \in V$ is a set.

It follows $\displaystyle \bigcap A$ is a set.