bound variable
noun
logic
: a variable occurring within the scope of a quantifier and so no longer available for substitution by a constant : an apparent variable
Love words? Need even more definitions?
Merriam-Webster unabridged
Share