Source: wikibot/successor-ordinal
= Successor ordinal
{wiki=Successor_ordinal}
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 α.