User:Dfeuer/Definition:Set

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

Let $S$ be a collection.

Then $S$ is a set iff $S \in \mathbb U$