구속 변항 (bound variable) 어떤 한량적 정식에 있는 한 변항이 구속되어 있다고 말하는 것은, 그 변항이 한 한량사에 의해 지배된다고 말하는 것이다. Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 394. 가 구속 변항
