Uma expressão lógica, especificando uma ou mais condições que devem ser satisfeitas cada vez que um ponto particular em um loop de programa é executada.