Ein Algorithmus heißt partiell korrekt, wenn er für jede spezifizierte Eingabe das geforderte Ergebnis liefert. Siehe auch Totale Korrektheit