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.