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.

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