Termination

Termination means: the algorithm finishes on every valid input.