(Eng: bound variable) Een variabele die binnen de scoop van een existentiële of een universele hoeveelheidsbepaler (quantifier) voorkomt.(Eng: bound variable) Een variabele die binnen de scoop van een existentiële of een universele hoeveelheidsbepaler (quantifier) voorkomt.