ttp://members.tripod.co.jp/nbz/ref/lambda.html
1) 変数x, y, ... はλ項である。
2) M, Nがλ項のとき、 (MN)もλ項である。
3) Mがλ項、xが変数のとき、(λx.M)はλ項である。

(M N)を、MのNへの関数適用と呼ぶ
・・・・