Изменения
Нет описания правки
{{Определение
|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>
{{Определение
|definition=
'''<tex>\beta</tex>-редукция ''' (англ. ''<tex>\beta</tex> -reduction)'' ) это наименьшее соотношение на <tex>\Lambda</tex> такое что
:<tex>(\lambda x.P)Q\to _\beta P[x:=Q]</tex>
и замкнуто относительно следующих правил
