n (computer science) An
abstraction that represents a function within an
environment, a context consisting of the variables that are both
bound variable|bound at a particular time during the execution of the program and that are within the function's
scope.