Category:Ordinal Class

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ordinal Class.


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

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