Logický výraz, ktorý určuje jednu alebo viac podmienok, ktoré musia byť splnené zakaždým daného miesta slučku program je popravený.