la_50表示映射到本身的函数，formula_5和formula_52表示将这个函数应用于formula_18。此外，formula_54则表示无论输入为何，始终返回formula_18值的常数函数formula_56。lambda演算中的函数应用是左结合的，因此formula_57表示formula_58。有几个“等价”和“化简”的概念，允许将各个lambda项“缩减”为“相同”的lambda项。
formula_59-等价.对于lambda项，等价的基本形式定义，是for