Free expression
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.
An expression in which every variable is a Free variable.
If a free expresion is as large as it can be, in the sense that it is not a proper subexpression of another free expression, it is called a Maximal free expression.