(1) Een reeks van computer programma-instructies dat herhaaldelijk wordt uitgevoerd totdat aan een bepaalde voorwaarde is voldaan of tijdens een gegeven voorwaarde is voor het uitvoeren van een reeks van computer programma-instructies zoals (1) in true.~(2).