(1) A sequence of computer program statements that is executed repeatedly until a given condition is met or while a given condition is true.~(2) To execute a sequence of computer program statements as in (1).