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

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

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 . Бесплатное онлайн-издание .