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

Definition   An ENVIRONMENT is a set of bindings.

Definition   PROBLEM DECOMPOSITION is the problem solving strategy of decomposing a problem into a set of subproblems,  and then composing a solution to the original problem from the solutions to the subproblems.