Beta-eta equivalence
= Beta-eta equivalence
{title2=$M=_{\beta\eta}N$}
The least equality on <lambda terms> closed under <lambda application> and <lambda abstraction> and containing <beta equivalence> and <eta conversion>, with bound names identified by <alpha equivalence>.