Les funciones dorde cimeru dexen laplicación parcial, una téunica na que saplica una función a los sos argumentos unu al empar, con cada aplicación devolver una nueva función quaceptal siguiente argumentu. Esto déxa-y a unu espresar, por casu, la función socesor como loperador de suma aplicada parcialmente al númberu natural unu.