Bound variable

A variable (such as x, y, and z) is bound by a quantifier that is used with the same variable —for example, ∀x (Px → Qx).