Definition, synonyms and related words
A formula which has no free occurrences of variables; or equivalently, in which all occurrences of variables are bound.