Free variable
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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.