free variable（自由变量）：在逻辑、数学或编程语言（尤其是 λ 演算）中，指没有被量词（如 ∀、∃）或绑定符号（如 λ）约束/绑定的变量，因此它的取值通常依赖于外部环境或上下文。
（相对概念：bound variable / 约束变量。）
/ friː ˈvɛriəbəl /
A free variable is not bound by a quantifier.
自由变量不会被量词所约束。
In the expression λx.(x + y), x is bound but y is a free variable, so the meaning depends on what y stands for.
在表达式 λx.(x + y) 中，x 是约束变量而 y 是自由变量，因此其含义取决于 y 代表什么。
free 源自古英语 frēo，有“自由的、不受限制的”之意；variable 源自拉丁语 variābilis，意为“可变化的”。合起来 free variable 直译为“未被限制/未被绑定的变量”，用于强调它不受绑定结构控制。
Select Language