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.