后继序数是一种序数。设β是序数,称β∪{β}为β的后继.可以证明,β是序数,则β的后继也是序数,记为β+1.如果由序数α,可以找到序数β,使α为β的后继,即∃β(α=β+1),则称α为后继序数。
后继序数是一种序数。设β是序数,称β∪{β}为β的后继.可以证明,β是序数,则β的后继也是序数,记为β+1.如果由序数α,可以找到序数β,使α为β的后继,即∃β(α=β+1),则称α为后继序数。
例如,自然数1,2,3,…都是后继序数,但0,ω不是后继序数。
定义序数时, 它有一个基本的运算是后继运算 S来得到下一个更高的序数. 如果使用von Neumann序数(用于集合论的标准序数)表示,对于任何一个序数我们可以得到,
直接地,没有序数在α 和 满足序数α < beta,当且仅当
对于划限序数 λ
特殊情况,
。 乘法和求幂定义也是同样的。