Turing reduction
二つの集合 formula_1 と formula_2 について、formula_1 が formula_2 にチューリング還元可能であり、かつ、 formula_2 が formula_1 にチューリング還元可能であるとき、これらの集合は チューリング同値 であると言い、formula_16 と書く。formula_17 という関係は同値関係と捉えることができる。すなわち任意の集合 formula_1、formula_2、formula_20 について