 Definition 3.6: \(\textrm{deg}_m(A)\)—the many-one (or \(m\)-) degree of \(A\)—is the equivalence class of \(A\) with respect to \(\equiv_m\)—i.e., \(\textrm{deg}_m(A) = \{B \subseteq \mathbb{N} : B \equiv_m A\}\).  We call an \(m\)-degree computable if it contains a computable set and c.e. if it contains a computably enumerable set. 