Free variable
= Free variable
An occurrence of a variable is free when it is outside the scope of a quantifier binding that variable.
The distinction belongs to <free variables and bound variables>; an occurrence bound by an enclosing quantifier is not free.