チューリング次数
A Turing degree is an equivalence class of the relation ≡T. The notation ["X"] denotes the equivalence class containing a set "X". The entire collection of Turing degrees is denoted formula_1.