Definition:Class of All Ordinals

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}$ $A$ is an ordinal.