Cuasi-identidad

En álgebra universal , una cuasi-identidad es una implicación de la forma

s ₁ = t ₁ ∧ … ∧ s _n = t _n → s = t

donde s ₁ , ..., s _n , t ₁ , ..., 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 ₁ ≠ t ₁ ∨ ... ∨ 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.

• Cuasivariedad

• Burris, Stanley N.; HP Sankappanavar (1981). Un curso de álgebra universal . Springer . ISBN 3-540-90578-2.Edición gratuita en línea.