Associations of parameters to variables. A variable occurrence is bound if it is part of a binding; otherwise it is free.
Context
Bindings are fundamental in programming language theory. For example, in a lambda expression lambda x: x + 1, the variable x is bound by the lambda. Understanding bindings is essential for reasoning about scope and variable capture.