Successor function

The successor function can be simply defined as below: \[S(x)=x+1\]