Definition:Successor Ordinal

Definition
A successor ordinal is the successor set of an ordinal:
 * $\alpha^+ := \map s \alpha = \alpha \cup \set \alpha$

Also see

 * Successor Set of Ordinal is Ordinal