在 数学、 后继函数 或 后继运算 是一个 原始递归函数 使得 ()= +1，例如， (1)=2和 (2)=3。后继函数在西方国家也称为zeration，因为它是第零类超运算：H0(, )=1+ 。
后继函数被用在定义自然数的皮亚诺公理。为此，它不是由加法所定义，而是用作定义所有大于0的自然数和加法。例如，1被定义为 (0)，而且自然数的加法是由递归定义：
这就产生了 5 + 2 = 5 + (1) = (5) + 1 = 6 + 1 = 6 + (0) = (6) + 0 = 7 + 0 = 7
过往曾经提出了几种方法使用集合论构造自然数，请参看集合论的自然数的定义。一个常见的方法是定义数字0为空集{ },和后继数S(x)=x∪{ x }。然后无穷公理将确保存在一组ℕ包含0且对S闭合;ℕ的元素称为自然数。
后续函数是第0级的超运算 (用于建立加法，乘法，幂，迭代幂次，……)。
它的其中一个原始职能是通过递归进行定义。
