Eigenschaft einer Menge A ⊆ ℕ₀, wenn deren charakteristische Funktion total berechenbar ist.

Intuitiv heißt dies, daß das der Menge A zugeordnete Entscheidungsproblem algorithmisch in endlich vielen Schritten (z. B. mit Hilfe einer Turing- Maschine oder Registermaschine) gelöst werden kann.