beta law, eta law

普通、βとかηとか言ったらλ-calculusだよね？「何かをくっつけて、それを取り除いたら元に戻る」のがbeta lawで、逆に「取り除いた後で、くっつけたら元に戻る」のがeta lawって何言ってんだ？？
丸1日くらい考えてやっと分かった。「くっつけて」というのは、λ-abstractionのことで、取り除くというのがapplicationのことなんだ。式で書くと：

• (λx.M) x = M … (beta)
• λx.(M x) = M … (eta)

ということか！あー、すっきりした。