Definition:Successor Mapping on Natural Numbers

From ProofWiki
Jump to navigation Jump to search


Let $\N$ be the set of natural numbers.

Let $s: \N \to \N$ be the mapping defined as:

$s = \set {\tuple {x, y}: x \in \N, y = x + 1}$

Considering $\N$ defined as a Peano structure, this is seen to be an instance of a successor mapping.