Totale Funktion

Eine Funktion $f:{\mathbb{N}}^k\to \mathbb{N}$ heißt total, wenn sie für jede mögliche Eingabe aus ihrem Definitionsbereich einen Wert liefert (d.h., sie terminiert immer). Alle LOOP-berechenbaren Funktionen sind total.