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:

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