Free Variable

In a first-order language, a variable that is not bound by a universal or an existential quantifier is called a free variable.

References

Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.