Uma expressão lógica, indicando as condições de entrada que devem ser atendidas para que um caminho de determinado programa a ser executado.