free variable

Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Programming, Sciences A variable that is not bound to a storage location.

Human sciences, Logic, Mathematics, Philosophy, Sciences A variable (occurring within some expression or well-formed formula) which is not bound by a quantifier or analogous symbol (such as a lambda abstractor, the "differential d" near the end of an integral or differential form, or a summation symbol).