Legyen $S=\left\{\mathrm{0,}\mathrm{1,}\mathrm{2,}\mathrm{3,}\text{...}\right\}$ a nem-negatív egész számok halmaza. Határozzuk meg az összes olyan $f$ függvényt, ami $S$-en van definiálva, és az értékei is $S$-ből valók, és amire teljesül