The formal parameters of procedures have a special role. It doesn't matter what the name of these formal parameters are. The name for formal parameters is a , the procedure definition binds its formal parameters.

If a variable is not bound then it is a .

The set of expressions for which the a binding defines a name is called the of the variable.

The nesting of procedure definitions is called .