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)