Turing equivalence is an equivalence relation; the resulting equivalence classes are the Turing degrees.
Turing equivalence is an equivalence relation. The resulting equivalence classes are the Turing degrees.