Een logische expressie opgeven van één of meer voorwaarden waaraan moeten worden voldaan elke keer een bepaald punt in een lus programma wordt uitgevoerd.