Procedure or process that repeatedly executes a series of operations until some condition is satisfied. Usually implemented by a loop in a program.