Definition:Natural Numbers/Von Neumann Construction/Successor Mapping

Definition
Let $\omega$ denote the minimally inductive set.

Let the natural numbers $\N$ be modelled using the Von Neumann construction as the elements of $\omega$.

The mapping $s: \N \to \N$ defined thus as:
 * $\forall n \in \N: \map s n = n + 1$

is the successor mapping on $\N$.