Skip to main content

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier. (from Wolfram MathWorld).

Related tags:

References:
nLab
Wolfram MathWorld
ProofWiki
Encyclopedia of Mathematics