free variable
- (in functional calculus) a variable occurring in a sentential function and not within the scope of any quantifier containing it.
Show More
Compare bound variable.
Dictionary.com Unabridged
Based on the Random House Unabridged Dictionary, © Random House, Inc. 2018