COD: uma afirmação de que os valores de duas expressões matemáticas são iguais