# Definition:Successor Mapping

Jump to navigation
Jump to search

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

### Successor Mapping on Natural Numbers

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.

## Also known as

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

## Sources

- 1951: Nathan Jacobson:
*Lectures in Abstract Algebra: Volume $\text { I }$: Basic Concepts*... (previous) ... (next): Introduction $\S 4$: The natural numbers - 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): $\S 16$ - 1975: Bert Mendelson:
*Introduction to Topology*(3rd ed.) ... (previous) ... (next): Chapter $1$: Theory of Sets: $\S 1$: Introduction