"A closure, the opposite of a combinator, is a function that makes use of free variables in its definition." . . . .