Definition:Successor Mapping on Peano Structure/Successor Element

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

Let mapping $s: P \to P$ denote 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$.