bound variable

noun Logic.

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

Nearby words

  1. bound for,
  2. bound form,
  3. bound hand and foot,
  4. bound to, be,
  5. bound up in,
  6. boundary,
  7. boundary commission,
  8. boundary condition,
  9. boundary layer,
  10. boundary line

Compare free variable. Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019