Successor Function (Recursion)

Definition

Successor Function (Recursion)

$S : S (x) = x + 1$
Examples:

$S \equiv [f (x) = x + 1]$

$(S, C_{2}^{1}) \equiv [f (x) = (x + 1, 2)]$