Closures are functions plus their bindings for its free variables. The references to the bindings have lexical scope and indefinite extent.