Substitusjon (eng: ) er et viktig begrep i lambdakalkylen. Formålet med substitusjon er å bytte ut en variabel i en term med en annen term. For eksempel ønsker vi at det å bytte ut med i uttrykket skal gi uttrykket . I lambdakalkylen ønsker vi derfor å definere en funksjon , som leses som .