後者関数
サクセッサーや後継者関数とも呼ぶ
自然数
$ n
に対して
$ \mathrm{succ}(n) = n + 1