Definition:Successor Ordinal

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