后继序数:在序数理论中,若某个序数 α 可以写成 β + 1(其中 β 是某个序数),则称 α 为一个后继序数(successor ordinal),而 β 是它的前驱序数。它与极限序数(limit ordinal)相对。(该术语主要用于集合论与超限归纳等语境。)
A successor ordinal is one more than some ordinal.
后继序数就是某个序数再加一得到的序数。
In transfinite induction, successor ordinals and limit ordinals are handled in different steps of the proof.
在超限归纳中,证明通常会把后继序数情形与极限序数情形分开处理。
/səkˈsɛsər ˈɔːrdɪnəl/ (AmE 常见)
/səkˈsɛsə ˈɔːdɪnəl/ (BrE 常见)
successor 源自拉丁语 successor,意为“继任者、后继者”,在数学里引申为“紧接在后、由前一个推进得到的对象”。ordinal 来自拉丁语 ordinalis,与“顺序、次序”相关。合起来在集合论中表示“由某个序数加 1 得到的序数”。