Изменения
Нет описания правки
{{Определение
|definition=''<tex>\alpha</tex>-эквивалетностью (англ. <(tex>\alpha<\tex> -equivalence)'' {{---}} называется наименьшее соотношение эквивалентности на <tex>\Lambda</tex> такое что:
:<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>
