En álgebra universal , una cuasi-identidad es una implicación de la forma
- s 1 = t 1 ∧… ∧ s n = t n → s = t
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 las ecuaciones s 1 = t 1 ∨ ... ∨ s n = t n ∨ s = t . Una cuasi-identidad para la que n = 0 es una identidad o ecuación ordinaria, de donde las cuasi-identidades son una generalización de identidades. Las cuasi-identidades son un tipo especial de cláusulas de Horn .
Ver también
Referencias
- Burris, Stanley N .; HP Sankappanavar (1981). Un curso de álgebra universal . Springer . ISBN 3-540-90578-2. Edición online gratuita .