Definition of free variable in US English:

free variable

noun

Logic Mathematics
  • A variable whose occurrence in an expression is not bound by any quantifier, i.e. it is free to take any value and can be freely substituted.

Origin

1920s; earliest use found in Mind.