During AMC testing, the AoPS Wiki is in read-only mode and no edits can be made.

Successor function

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