Menge/Endliche Teilmengen/Rekursiv/Nachfolgerabbildung/Definition

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.