The closure environment keeps the bound variables codice_12 and codice_13 after the "enclosing" function (codice_14) returns. In languages without closures, these values would be lost after the enclosing function returns. In languages with closures, a bound variable must be kept in memory as long as any closure has it.