x . U，则x在这个项中是再约束的。这种嵌套的、内层的x的约束被称为外层约束的“阴影”。 x在U中的出现是新x的自由出现。在程序顶层的变量约束在技术上在它们所约束的项之内是自由变量，但是经常特殊对待，因为它们可以被编译为固定地址。类似的，约束于递归函数的标识符被称为在它归属的函数体内是自由变量但要特殊对待。封闭项是不包含自由变量的项。
引用."A small part of this article was originally based on material f