User:Dfeuer/Definition:Class

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 class iff $S \subseteq \mathbb U$