後者関数

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