Bound Variable/Examples/Universal Statement

Definition
In the universal statement:
 * $\forall x: \map P x$

the symbol $x$ is a bound variable.

Thus, the meaning of $\forall x: \map P x$ does not change if $x$ is replaced by another symbol.

That is, $\forall x: \map P x$ means the same thing as $\forall y: \map P y$ or $\forall \alpha: \map P \alpha$.

And so on.

Also see

 * Definition:Bound Variable/Examples/Existential Statement