Definition:Bound Variable (Predicate Logic)