Logický výraz určující jednu či více podmínek, které program vstupy musí splnit, aby byl platný.