Una expressió lògic que especifica un o més de les condicions que ha de ser conegut cada cop un punt concret en un bucle de programa s'executa.