Ganze Zahlen/Nachfolger/Definition

Nachfolgerabbildung (${}\mathbb {Z}$)

Unter dem Nachfolger ${}N(x)$ einer ganzen Zahl ${}x\in \mathbb {Z}$ versteht man die Zahl

${}N(x):={\begin{cases}N(a),{\text{ falls }}x=a\in \mathbb {N} \,,\\-V(b),{\text{ falls }}x=-b{\text{ mit }}b\in \mathbb {N} _{+}\,.\end{cases}}\,$