Logický výraz určující, že jedna nebo více podmínek, které musí být splněny vždy, když určité místo v programu smyčka je proveden.