Lambda-Terme

Menge $\Lambda$ der Lambda-Terme (mit Variablen aus einer Menge V):

• (Variable) wenn x $\in$ V, dann x $\in$ $\Lambda$
• (Applikation) wenn F $\in$ $\Lambda$, A $\in$ $\Lambda$, dann (FA) $\in$ $\Lambda$
• (Abstraktion) wenn x $\in$ V, B $\in$ $\Lambda$, dann ($\lambda$x.B) $\in$ $\Lambda$

das sind also Lambda-Terme: x,($\lambda$x.x),((xz)(yz)),($\lambda$x.($\lambda$y.($\lambda$z.((xz)(yz)))))