(1) Una seqüència de declaracions de programa d'ordinador que s'executa diverses vegades fins que una determinada condició es compleix o en una determinada condició és true.~(2) per executar una seqüència de declaracions de programa d'ordinador com en (1).