Describes a procedure which repeats until some condition is satisfied. Successive approximations, each based on the preceding approximations, are processed in such a way as to converge onto the desired solution.