Изменения

\subsection{$===<tex>\beta$</tex>-редукция}$\beta$-редукция олицетворяет идею счёта значения функции. Выражение вида |(\x -> f) y| можно заменить на $f[x := y]$, где $f[x:=y]$, как и ранее, означаетзамену всех свободных вхождений $x$ в $f$ на $y$.=

{{Определение|definition=<tex>\beta</tex>-редукция олицетворяет идею счёта значения функции. Выражение вида <tex>(\lambda x \to f) y</tex> можно заменить на <tex>f[x := y]</tex>, где <tex>f[x:=y]</tex>, как и ранее, означаетзамену всех свободных вхождений <tex>x</tex> в <tex>f</tex> на <tex>y</tex>.}} {{Определение|definition=Через $<tex>f \to_\beta g$ </tex> обозначают сведение $<tex>f$ </tex> к $<tex>g$ </tex> с помощью одной $<tex>\beta$</tex>-редукции.А через $<tex>f \to_\beta^* g$</tex>~--- за ноль или более.}}