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.
New to topics? Read the docs here!