Bound Variable (Quantifiers)

Given $(Qx)(\varphi )$, the occurrence of the variable $x$ immediately after the quantifier symbol $Q$ is said to be bound.

All occurrences of the variables $x$ in $\varphi$, are said to be bound.