Menge/Endliche Teilmengen/Rekursiv/Nachfolgerabbildung/Definition

Nachfolgerabbildung (endliche Mengen)

Es sei ${}M$ eine unendliche Menge und ${}N=N(M)={\mathcal {E}}(M)/\sim$ sei die Anzahlmenge von ${}M$. Dann nennt man die aufgrund von Fakt wohldefinierte Abbildung

$'\colon N\longrightarrow N,\,[T]\longmapsto [T]',$

mit

$[T]'=[T\cup \{x\}],$

wobei ${}x\in M\setminus T$ beliebig ist, die Nachfolgerabbildung.