In set theory, a branch of mathematical logic, ordinals are a way of representing the order type of a well-ordered set. The concept of a successor ordinal arises when discussing specific kinds of ordinals. An ordinal α is called a **successor ordinal** if there exists another ordinal β such that: \[ \alpha = \beta + 1 \] In this context, β is referred to as the predecessor of the successor ordinal α.
