后继基数

后继基数(successor cardinal number)是基数的一种，设α为一个序数，令α+表示大于α的最小基数，设K为一个基数，若存在序数α，使K=α+，则称K为后继基数，所有非0有限基数均为后继基数，0和ω不是后继基数。后继基数是一种不可数基数，在超限基数正则序列中，称为的后继基数，称为的前行基数。一个基数与它的后继基数是紧相邻的两个基数，即不存在基数，使<<成立，每一基数都有后继基数，但极限基数与没有前行基数，在广义连续统假设下，的后继基数=2。