Definition:Successor Ordinal

Definition
An ordinal $\alpha$ is a successor ordinal if it is the successor of some ordinal $\beta$.