Turing degree
formula_2 が formula_3 にチューリング同値（Turing equivalent）であることを formula_7 で表し、formula_4 と formula_9 が共に成り立つ。チューリング同値な集合の同値類をチューリング次数（Turing degree）と呼ぶ。集合 formula_10 のチューリング次数を formula_11 と記述する。