Labels for terms in the lambda calculus In the lambda calculus, are there commonly accepted names for $x$ and $M$ when they appear in $\lambda x [M]$  ? Something along the lines of "binder" and "bindee"?
$x$ is a "bound variable" and $M$ is the "scope" in which it is bound.