An occurrence of a variable in a logic which is not free. Bound variables are also called dummy variables.
Bound Variable
See also
Dummy Variable, SentenceExplore with Wolfram|Alpha
References
Comtet, L. "Bound Variables." §1.11 in Advanced Combinatorics: The Art of Finite and Infinite Expansions, rev. enl. ed. Dordrecht, Netherlands: Reidel, pp. 30-34, 1974.Referenced on Wolfram|Alpha
Bound VariableCite this as:
Weisstein, Eric W. "Bound Variable." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/BoundVariable.html