Freie und gebundene Variablen(vorkommen)

• Das Vorkommen von v∈V an Position p in Term t heißt frei, wenn „darüber kein λv.... steht``
• Def. fvar(t) = Menge der in t frei vorkommenden Variablen (definiere durch strukturelle Induktion)
• Eine Variable x heißt in A gebunden, falls A einen Teilausdruck λx.B enthält.
• Def. bvar(t) = Menge der in t gebundenen Variablen

Bsp: fvar(x(λx.λy.x)) = {x}, bvar(x(λx.λy.x)) = {x, y},