\begin{definition}[Definition:Bound Variable]
A '''bound variable''' is a variable which, when it occurs in an expression, can be replaced with another variable without changing the meaning of the statement.
\end{definition}