Bound variable（约束变量/绑定变量）：在逻辑、数学或编程语言中，被量词（如 ∀、∃）或抽象/绑定结构（如 λ）“绑定”的变量。它的意义只在该绑定结构所限定的作用域（scope）内有效；离开该范围就不再指向同一个变量。
/baʊnd ˈvɛriəbəl/
In the formula ∀x P(x), x is a bound variable.
在公式 ∀x P(x) 中，x 是一个约束变量。
When you rename a bound variable, the meaning usually stays the same as long as you avoid variable capture.
当你重命名一个约束变量时，只要避免“变量捕获”，表达式的含义通常不会改变。
bound 来自 “bind（绑定、约束）” 的含义延伸，表示“被束缚/被限定的”。variable 源自拉丁语 variābilis（可变化的），指“变量”。合起来，bound variable 字面意思就是“被绑定（被限定作用域）的变量”，与 free variable（自由变量） 相对。
Select Language