Definition:Successor Mapping/Peano Structure

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

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