Binder

A syntactic construct that introduces a variable and defines its scope. In Lambda calculus, it's the variable directly following $\lambda$.