後続順序数
集合論および順序論における順序数の後者 ("successor") あるいは後続順序数（こうぞくじゅんじょすう、）とは、与えられた順序数 に対し、 より大きい最小の順序数を言う。