y.x - y。下述三个表达式：也是等价的。然而这种lambda表达式之间的等价性，无法找到某个通用的函数来判定。并非所有的lambda表达式都能被归约至上述那样的确定值，考虑或然后试图把第一个函数作用在它的参数上。(λx.x x)被称为ω组合子，((λx.x x)(λx.x x))被称为Ω，而((λx.x x x) (λx.x x x))被称为Ω，以此类推。若仅形式化函数作用的概念而不允许lambda表达式，就得到了组合子逻辑。
动机.在数学和计算机科学中，「可计算的