Es sei T ⊆ N {\displaystyle {}T\subseteq \mathbb {N} } eine Teilmenge der natürlichen Zahlen.
Dann ist T {\displaystyle {}T} genau dann R {\displaystyle {}R} -entscheidbar, wenn sowohl T {\displaystyle {}T} als auch das Komplement N ∖ T {\displaystyle {}\mathbb {N} \setminus T} R {\displaystyle {}R} -aufzählbar ist.
