A “closure” is a lambda expression with free variables which are bound to the enclosing lexical context; the core feature is that it transports these bindings out of that context and uses them wherever it may be expanded.