Man zeigt partielle Korrektheit und Terminierung.
Partielle Korrektheit: Wenn der Algorithmus terminiert, ist das Ergebnis korrekt. Terminierung: Er hält für alle zulässigen Eingaben an.