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
• Def. bvar(t) = Menge der in t gebundenen Variablen