Las secuencias preservan el valor indefinido: Los programas en FP son funciones f tales que cada una hace corresponder un valor x en otro : Las funciones pueden estar predefinidas o ser definidas según las operaciones de construcción de programas o funcionales.
Algunas funciones tienen elemento neutro, tal es el caso del valor 0 para la suma, o 1 para la multiplicación.
El funcional unit produce ese valor al ser aplicado a una función f que posea elemento neutro: Los principales funcionales de FP son: para todo valor y (exceptuando el valor indefinido, ⊥, cuyo resultado es él mismo cualquiera sea la función aplicada).
La forma más sencilla es: en donde E'f es una expresión construida a partir de otras funciones y el símbolo f combinadas con los funcionales del lenguaje.
Por ejemplo, las funciones de selección, que se denotan en FP con los símbolos 1,2,... corresponden a la siguiente especificación: