1632
правки
Изменения
м
rollbackEdits.php mass rollback
по <tex>x</tex>.
===α-эквивалетностьэквивалентность===
{{Определение
|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>
