Free Variable

An occurrence of a variable in a Logic Formula which is not inside the scope of a Quantifier.

See also Bound, Sentence