Turing degree
チューリング次数は関係 formula_17 の同値類である。formula_28 と書いて集合 formula_1 を含むような同値類を表す。 チューリング次数全体を表す記号として formula_30 と書く。