Quasiidentity

（重定向自Quasiidentities）

In universal algebra, a quasiidentity is an implication of the form

where s₁, ..., s_n, s and t₁, ..., t_n,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.

单词	Quasiidentities
释义	Quasiidentities 英语百科 Quasiidentity （重定向自Quasiidentities） In universal algebra, a quasiidentity is an implication of the form where s₁, ..., s_n, s and t₁, ..., t_n,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.
随便看	sprue former的意思 sprue gate的意思 sprue gating的意思 sprue granulator的意思 sprue grinder的意思 sprue groove的意思 sprue height的意思 sprue hole的意思 sprue hook的意思 sprue knockout pin的意思 sprue less的意思 sprueless mold的意思 Spruell的意思 sprue lock的意思 sprue lock bushing的意思 sprue lock pin的意思 spruemaster的意思 sprue mill的意思 Sprue,Nontropical的意思 sprue opening的意思 sprue picker的意思 sprue pin的意思 sprue plate的意思 sprue plug的意思 sprue plug valve的意思