Definition:Successor Mapping

Definition
Let $\struct {P, s, 0}$ be a Peano structure.

Then the mapping $s: P \to P$ is called the successor mapping on $P$.

The image element $\map s x$ of an element $x$ is called the successor element or just successor of $x$.

Also known as
The successor mapping can also be seen referred to as the successor function.