User:Dfeuer/Set is Class

Axiom

Let $S$ be a set.

Then $S$ is a class.

That is, if $\mathbb U$ is the universal class, then:

$\forall x: x \in \mathbb U \implies x \subseteq \mathbb U$

That is, $\mathbb U$ is transitive.