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.
Words nearby bound variable
bound for,
bound form,
bound hand and foot,
bound to, be,
bound up in,
bound variable,
boundary,
boundary commission,
boundary condition,
boundary layer,
boundary line