Una abstracción lambda λx.t representa una función anónima que toma un único argumento, y se dice que el signo λ "liga" la variable x en el término t.