da演算中的函数应用是左结合的，因此formula_57表示formula_58。有几个“等价”和“化简”的概念，允许将各个lambda项“缩减”为“相同”的lambda项。
formula_59-等价.对于lambda项，等价的基本形式定义，是formula_59-等价。它捕捉了直觉概念，在lambda抽象中一个绑定变量的特别选择（通常）并不重要。比如，formula_50和formula_62是formula_59-等价的lambda项，它们都表示相同的函数（自映射函数）