Квазиидентичность

В универсальной алгебре квазитождество — это импликация вида

s ₁ знак равно т ₁ ∧ … ∧ s _n знак равно т _n → s знак равно т

где s ₁ , ..., sn _и , t ₁ , ..., t _n , s t , составленные из — термины переменных с использованием символов операций указанной сигнатуры .

Квазитождество представляет собой условное уравнение, условия которого сами являются уравнениями. В качестве альтернативы его можно рассматривать как дизъюнкцию неравенств и одного уравнения s ₁ ≠ t ₁ ∨ ... ∨ s _n ≠ t _n ∨ s = t — то есть как определенное предложение Хорна . Квазидождество с n = 0 — это обычное тождество или уравнение, поэтому квазитождества являются обобщением тождеств.

См. также

• Квазимногообразие

Ссылки

• Беррис, Стэнли Н.; HP Санкаппанавар (1981). Курс универсальной алгебры . Спрингер . ISBN  3-540-90578-2 . Бесплатное онлайн-издание .