Definition:Successor Mapping on Peano Structure/Successor Element

From ProofWiki
Jump to navigation Jump to search


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$.

Also see

  • Results about the successor mapping can be found here.