Partial correctness

Partial correctness means: if the algorithm terminates on a valid input, then its result satisfies the postcondition of the problem.