Successor function

In the realm of mathematics, the successor function, often symbolized as S, is a fundamental operation that maps a natural number to the subsequent one. Essentially, if n is a natural number, then S(n) equals n + 1. This function is a crucial element in the construction of a primitive recursive function.