Free variable (unbound variable)

A free variable is an instance of a variable that is not bound by some condition—for instance,x is a free variable, whereas in “for some x,” it is a bound variable. (See Bound variable.)