Beta equivalence
= Beta equivalence
{title2=$\beta$-equivalence}
Beta equivalence is the smallest equivalence relation containing <beta reduction>; equivalently, $M\equiv_\beta N$ when a finite sequence of beta reductions and reversed beta reductions connects $M$ and $N$.