En el cálculo lambda, una "expresión" o "término" se define recursivamente a través de las siguientes reglas de formación: