Изменения

по <tex>x</tex>.

Рассмотрим функции <tex>(\lambda x \to x) z</tex> и <tex>(\lambda y \to y) z</tex>. Интуитивно понятно, что они

а <tex>\lambda x \to \lambda y \to y z</tex> и <tex>\lambda y \to \lambda x \to y z</tex> {{---}} нет.

{{Определение

}}

Рассмотрим выражение вида <tex>\lambda x \to f x</tex>. Если подставить в эту функцию значение

<tex>y</tex>, то получим: <tex>(\lambda x \to f x) y \to_\beta f y</tex>. Но если просто подставить