bound variable

bound variable noun Logic.

1. (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier.

Compare free variable.