Частичная корректность

Частичная корректность означает: если алгоритм завершился на допустимом входе, то его результат удовлетворяет постусловию задачи.