Bound Variable
An occurrence of a variable in a logic which is not free. Bound variables are also called dummy variables.
See also
Dummy Variable, SentenceExplore with Wolfram|Alpha
WolframAlpha
More things to try:
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 Resource. https://mathworld.wolfram.com/BoundVariable.html