Menge/Endliche Teilmengen/Rekursiv/Nachfolgerabbildung/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Nachfolgerabbildung (endliche Mengen)

Es sei eine unendliche Menge und sei die Anzahlmenge von . Dann nennt man die aufgrund von Fakt wohldefinierte Abbildung

mit
wobei beliebig ist, die Nachfolgerabbildung.