\begin{definition}[Definition:Ordinal Class]
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$ {{iff}} $A$ is an ordinal.
\end{definition}