Z Wikipedii, wolnej encyklopedii
Redukcja β to najważniejsze przekształcenie w rachunku lambda,
odpowiadające aplikacji funkcji.
Relację
-redukcji nazywamy najmniejszą relację
taką, że:
![{\displaystyle (\lambda x.M)N\to _{\beta }M[x:=N],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ceb41dda26564119ac7c3c4e964b84fe6eedcd51)
- Jeśli
to,
oraz ![{\displaystyle \lambda x.M\to _{\beta }\lambda x.M'}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4729d7944eaed212a6e7bbd64ab16a92d558020)
Najmniejszą zwrotną i przechodnią relację zawierającą
oznacza się
zaś najmniejszą zwrotną, przechodnią i symetryczną –