Definition:Class of All Ordinals

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

Therefore, by this definition, $A \in \operatorname{On}$ if and only if $A$ is an ordinal and $A$ is a set.