Lambda abstraction lambda calculus

A Lambda term of the form $λx.\ t$ - a function that binds variable $x$ over body $t$.