A closure is a record containing:

(define (make-inc x)
	(lambda (y) (+ x y))
)

Free Variables

In expression (lambda (y) (+ x y)), x is a free variable