<tex>\operatorname{id}\ 2 \equiv 2</tex>. Аналогично, <tex>\operatorname{id}\ y \equiv y</tex>.
Как еще примерЕще примеры:: <tex> x\\(x\ z)\\(\lambda x. (x\ z))\\(\lambda z.(\lambda w.((\lambda y.((\lambda x.(x\ z))\ y))\ w)))\\ </tex> - работает как if(true) (будет возвращать только первый аргумент).
Иногда <tex>\lambda</tex> -термы пишут по другому. Для краткости подряд идущие лямбды заменяют на одну. Например:
