多対一還元
A ≤ m B a n d B ≤ m A {\displaystyle A\leq _{m}B\,\mathrm {and} \,B\leq _{m}A} であるとき、 A {\displaystyle A} は B {\displaystyle B} に多対一同値 または m-同値 であると言い、次のように書く。
A ≡ m B . {\displaystyle A\equiv _{m}B.}
A ≤ 1 B a n d B ≤ 1 A {\displaystyle A\leq _{1}B\,\mathrm {and} \,B\leq _{1}A} であるとき、 A {\displaystyle A} は B {\displaystyle B} に1-同値 であると言い、次のように書く。
A ≡ 1 B . {\displaystyle A\equiv _{1}B.}