项则不是formula_59-等价的，因为它们并非以lambda抽象方式绑定的。在许多演示中，通常会确定formula_59-等价的lambda项。为了能够定义formula_68-归约，需要以下定义：
自由变量.所谓的自由变量是那些在lambda抽象不受到绑定的变量。表达式中的一组自由变量定义归纳如下：例如，代表映射自身的formula_50，其中的lambda项没有自由变量，但是在函数formula_78中的lambda项，有一个自由变量formula_18。Sec