User:Dfeuer/Definition:Class

Definition
Let $\mathbb U$ be the universal class.

Let $S$ be a collection.

Then $S$ is a class iff $S \subseteq \mathbb U$