1. See also

2. References

In universal algebra, a quasi-identity is an implication of the form

s₁ = t₁ ∧ … ∧ s_n = t_n → s = t

where s₁, ..., s_n, s and t₁, ..., t_n,t are terms built up from variables using the operation symbols of the specified signature.

Quasi-identities amount to conditional equations for which the conditions themselves are equations. A quasi-identity for which n = 0 is an ordinary identity or equation, whence quasi-identities are a generalization of identities. Quasi-identities are special type of Horn clauses.

See also

References

• {{ cite book | last=Burris | first =Stanley N. |author2=H.P. Sankappanavar | publisher=Springer | title=A Course in Universal Algebra | year=1981 | isbn=3-540-90578-2 }} Free online edition.

• Workers Leaving The Lumiere Factory
• Workers Left Unity - Iran
• Workers, Let's Go
• Workers Let's Go
• Workers' Memorial Sculpture
• Worker's Militia
• Workers' Militia PPS-WRN
• Worker's Museum, Copenhagen
• Workers' Nationalist Party
• Workers National Movement for Liberation
• Workers' participation
• Workers' parties
• Workers' party
• Workers party
• Workers Party (Australia)
• Workers' Party (Bolivia)
• Workers' Party (Brazil) leadership election, 2009
• Workers' Party (Czech Republic)
• Workers' Party Czech Republic
• Workers' Party (disambiguation)
• Workers' Party for Socialism
• Workers' Party for the Political Liberation of Russia
• Workers Party (Macedonia)
• Workers Party (Marxist-Leninist)
• Workers Party (NZ)