Basis-Operation ist A[x/B]:
ersetze jedes freie Vorkommen von x in A durch B
(λx.A)B→βA[x/B]
wobei (B) disjunkt zu (A)
(λx.A)→α(λy.A[x/y])
Bemerkungen: