Изменения
Нет описания правки
|definition=
<tex>
</tex>
}}
в своём первом вхождении переменная <tex>x</tex> свободна, а во втором {{---}} связана.
Связанные переменные '{{- --}} это аргументы функции. То есть для функции они являются локальными.
Рассмотрим функции <tex>\lambda y\ .\ y</tex> и <tex>\lambda x\ .\ y</tex>. В первой из них при взгляде на <tex>y</tex>