User:Dfeuer/Definition:Set

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbb U$ be the universal class.

Let $S$ be a collection.

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