>>308
うん。lambda式を評価して得られたすべての関数に含まれてる。

例えばSchemeでglobalに
(define foo (lambda (x) ...))
と定義すると、fooには空の環境を含む関数が入る。

その関数を呼び出すと、環境が切り替わって（いったん空になって）
それから引数や局所変数が束縛される。

これがlexical scopingを実現する仕組み。