ラムダ式同士の等価性

$ M\leftrightarrow_\beta Nは、$ M\rightarrow_\beta Nまたは$ M\leftarrow_\beta Nという意味

どちらからでも1回のβ簡約で行き来できるもの

$ P\equiv P_0\leftrightarrow_\beta P_1\leftrightarrow_\beta \cdots\leftrightarrow_\beta P_n\equiv Qとなるβ変換列があるとき、

$ P=_\beta Qと定義する

複数回のβ簡約で辿り着けるものは等価($ =_\beta)