En álgebra universal , una cuasi-identidad es una implicación de la forma
donde s 1 , ..., s n , t 1 , ..., t n , s y t son términos construidos a partir de variables que utilizan los símbolos de operación de la firma especificada .
Una cuasi-identidad equivale a una ecuación condicional para la cual las condiciones mismas son ecuaciones. Alternativamente, puede verse como una disyunción de inecuaciones y una ecuación s 1 ≠ t 1 ∨ ... ∨ s n ≠ t n ∨ s = t —es decir, como una cláusula de Horn definida . Una cuasi-identidad con n = 0 es una identidad o ecuación ordinaria, por lo que las cuasi-identidades son una generalización de identidades.