Definition:Ordinal Class

From ProofWiki
Jump to: navigation, search

Definition

The Ordinal Class is defined as the class of all ordinals:

$\operatorname{On} = \{ x : x$ is an ordinal $\}$


Therefore, by this definition, $A \in \operatorname{On}$ if and only if $A$ is an ordinal.


Also see


Sources