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.