Bound Variable

An occurrence of a variable in a Logic which is not Free.