Meaning of bound variable

bound' var'iable

Pronunciation: [key]
— Logic. Logic.
  1. (in the functional calculus) a variable occurring in a quantifier and in a sentential function within the scope of the quantifier. Cf. free variable.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.