Si "E1" (a veces llamado el aplicando) es una abstracción, el término puede ser reducido: "E2", el argumento, se puede substituir en el cuerpo de "E1" en lugar del parámetro formal de "E1", y el resultado es un nuevo término lambda que es equivalente al antiguo.