Definition:Algorithm/Finiteness

Definition
An algorithm must terminate after a finite number of steps.