在数学、 后继函数 或 后继运算 是一个 原始递归函数 "S" 使得 "S"("n")= "n"+1，"n 为自然数。"例如， "S"(1)=2和 "S"(2)=3。后继函数在西方国家也称为zeration，因为它是第零类超运算：H("a", "b")=1+ "b"。
概述.后继函数被用在定义自然数的皮亚诺公理。为此，它不是由加法所定义，而是用作定义所有大于0的自然数和加法。例如，1被定义为 "S"(0)，而且自然数的加法是由递归定义：这就产生了 5 + 2 = 5 + "S