Linked from

The 11 pages that link to Bound variable, each with the reason it gives.

• Lambda calculusRelated: Binding gives an abstraction its parameter and defines where that parameter applies.

• QuantifierRelated: Quantifiers bind variables to the objects over which they range.

• Existential quantificationRelated: The existential quantifier binds its variable within a formula's scope.

• Universal quantificationRelated: The universally quantified variable is bound within the quantifier’s scope.

• Domain of discourseRelated: A quantifier binds a variable and ranges it over domain objects.

• Set-builder notationRelated: The variable after the vertical bar is understood as ranging over possible elements.

• Prenex normal formRelated: Quantifiers can move across connectives only when variable-binding conditions are respected.

• Skolem normal formRelated: Skolemization replaces bound existential variables with fresh symbols.

• Universe (mathematics and logic)Related: Its possible values are drawn from the domain specified for the formula.