Category:Successor Mapping

From ProofWiki
Jump to navigation Jump to search

This category contains results about Successor Mapping.
Definitions specific to this category can be found in Definitions/Successor Mapping.

Let $V$ be a basic universe.

The successor mapping $s$ is the mapping on $V$ defined and denoted:

$\forall x \in V: \map s x := x \cup \set x$

where $x$ is a set in $V$.


Peano Structure

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


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


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.