後者関数
数学の分野における後者関数（こうしゃかんすう、後続者関数、）、もしくは後者演算 ("successor operation")は原始再帰関数のひとつである。後者関数 は任意の自然数 にその後者（後継、後続者） を割り当てる: 。例えば"S"(1) = 2 であり "S"(2) = 3 である。0-番目のハイパー演算 としての後者演算は「ゼレーション」("zer­ation") とも呼ばれる。