チューリング還元
この記事では以後「集合」と言えば「自然数の集合」を指すこととする。ある数が集合 formula_1 の元かどうかを、オラクル集合 formula_2 を持つ神託機械を用いて決定できるとき、formula_1 は formula_2 にチューリング還元可能であると言い、formula_9 と書く。