User:Dfeuer/Intersection of Non-Empty Class is Set
Jump to navigation
Jump to search
Theorem
Let $A$ be a non-empty class.
Then $\bigcap A$ is a set.
Proof
As $A$ is non-empty, it has an element $y$.
Let $x \in \bigcap A$.
Then $x \in y$.
As this holds for all $x \in \bigcap A$, $\bigcap A \subseteq y$.
Thus by the subset axiom, $\bigcap A$ is a set.
$\blacksquare$