Изменения
Нет описания правки
по <tex>x</tex>.
===α-конверсияэквивалетность===
{{Определение
|definition=''<tex>\alpha</tex>-конверсиейэквивалетностью'' {{---}} называется наименьшее соотношение эквивалентности на \Lambda такое что:
:<tex>P=_\alpha P</tex> для любого <tex>P</tex>
:<tex>\lambda x.P=_\alpha \lambda y.P[x:=y]</tex> если <tex>y \not\in FV(P)</tex>
