Successor Function

lambda-calculus

Definition

Successor Function

The successor function $\mathbf{S}$ is a combinator that is used to get the next number of a Church numeral and is defined as:

$$\mathbf{S}\equiv \lambda n.\lambda f.\lambda x.nf(fx)$$