Definition   A BINDING is an association from a name to an object (value).

Definition   An ENVIRONMENT is a set of bindings.

Definition   A PROBLEM DECOMPOSITION is the problem solving strategy of decomposing a problem into a set of subproblems solving each of the subproblems and then composing a solution to the original problem by exploiting the solutions to the subproblems.