チューリング次数
チューリング次数は半順序 formula_31を持つ。定義として、formula_32 である必要十分条件は formula_33である。計算可能集合を全て含む特別なチューリング次数が存在し、この次数は他の如何なる次数よりも小さい。この次数は半順序集合 formula_30 の最小元なので、0（ゼロ）と書く。（チューリング次数を表記する際は、集合と混同しないように太字 (boldface) で書くのが普通である。混同する恐れが無いなら（例えば formula_28 ）太字にせずとも良い。）