fˈuŋktsja pˌɔpʃɛdɲˈika lˈidʒbɨ jɛzd zdˌɛfiɲʲɔvˈana jˈakɔ krˈɔtna ˌaplikˈatsja fˈuŋktsji dɔ pˈarɨ a pˈɔtɛm pɔbrˈaɲʲɛ druɡʲˈɛɡɔ jɛj ˌɛlɛmˈɛntu:
Funkcja poprzednika  liczby  jest zdefiniowana jako -krotna aplikacja funkcji  do pary  a potem pobranie drugiego jej elementu: