A closure is a procedure that captures its free variables where those free variables are resolved in the lexical context.<p>A lambda procedure is just an anonymous procedure.<p>A lambda is not necessary a closure and a closure is not necessary a lambda.