通常のLisp処理系とは違い、
Schemeのスコープはレキシカルスコープだということですが、
lambda関数の仮引数や、そのlambda式の中でdefineやletを使用して
局所的に定義された変数は全て、関数実行中だけ存在していて、
関数終了後は消滅すると考えてよいのですか？

例

(define func
　(lambda (x)
　　(define z ....)
　　(let ((y ....))

　....)))

x, y, z は func 実行中だけ存在している？？