Sentença matemática constituída por uma igualdade e, no mínimo, uma incógnita.