# Definition:Ordinal Class

 It has been suggested that this page or section be merged into Definition:Ordinal. (Discuss)

## 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.