A variable that is not bound.
(\x -> x y)
In the above expression,
y is a free variable.
Whether a variable is free or not depends largely on context. It often helps to describe a variable as being free within a particular expression.
See also: Free expression, Maximal free expression.