Lambda-abstraksjoner en variabel i skopet sitt. F.eks. i , så bindes variablen i termen , men den bindes ikke i deltermen . En variabel kan også forekommer fritt i en term: variabelen er i termen . En variabel kan både forekomme som bundet og fri i en term, men en gitt variabel på en gitt lokasjon i en gitt term er enten fri eller bundet, ikke begge deler.