Definition:Ordinal Class

From ProofWiki
Jump to navigation Jump to search

Definition

The ordinal class is defined as the class of all ordinals:

$\On = \leftset {x: x}$ is an ordinal $\rightset {}$


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


Also see


Sources