User:Dfeuer/Universal Class is Supercomplete

Theorem

Let $\mathbb U$ be the universal class.

Then $\mathbb U$ is supercomplete.

Proof

Follows directly from the axioms:

User:Dfeuer/Set is Class

User:Dfeuer/Subclass of Set is Set

and the definition of supercomplete.

$\blacksquare$