donde s 1 , ..., s n , t 1 , ..., t n , s y t son términos creados 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 ecuaciones s 1 = t 1 ∨ ... ∨ s n = t n ∨ s = t . Una cuasi-identidad para la cual n = 0 es una identidad o ecuación ordinaria, por lo que las cuasi-identidades son una generalización de las identidades. Las cuasi-identidades son un tipo especial de cláusulas Horn .