partial correctness of algorithm: poprawność częściowa algorytmu
Algorytm jest częściowo poprawny, jeśli po otrzymaniu poprawnych danych wejściowych i zatrzymaniu się zwróci poprawne dane. Poprawność częściowa nie gwarantuje jednak, że algorytm kiedykolwiek się zatrzyma.