Jede Teilmenge von N ( außer der leeren Menge) besitzt ein Minimum.
Also ist eine Abbildung f : P(N) ---> N definiert durch
f(M) = 0 falls M=∅
= min(M) sonst.
Die Abbildung ist wohldefiniert, da das Minimum einer
Teilmenge von N eindeutig bestimmt ist.
Und da z.B. für alle n ∈ N die Menge {n} in P(N) ist und
das Minimum n hat, ist diese Abbildung surjektiv.