Category:Class of All Ordinals

From ProofWiki
Jump to navigation Jump to search

This category contains results about Class of All Ordinals.

The class of all ordinals is defined, obviously enough, as the class of all ordinals:

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