In universal algebra, a quasiidentity is an implication of the form
- s1 = t1 ∧ … ∧ sn = tn → s = t
where s1, ..., sn, s and t1, ..., tn,t are terms built up from variables using the operation symbols of the specified signature.
Quasiidentities amount to conditional equations for which the conditions themselves are equations. A quasiidentity for which n = 0 is an ordinary identity or equation, whence quasiidentities are a generalization of identities. Quasiidentities are special type of Horn clauses.
- Burris, Stanley N.; H.P. Sankappanavar (1981). A Course in Universal Algebra. Springer. ISBN 3-540-90578-2. Free online edition.
|This algebra-related article is a stub. You can help Wikipedia by expanding it.|