bound variable

views updated

bound variable A variable with a bound occurrence in an expression. See free variable.