or lambda operator, n. the abstraction operator, λ, that is defined by the rules of lambda abstraction and lambda conversion, and is studied by lambda calculus.