|
In universal algebra, a quasiidentity is an implication of the form :''s''1 = ''t''1 ∧ … ∧ ''s''''n'' = ''t''''n'' → ''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. == See also == Quasivariety 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Quasiidentity」の詳細全文を読む スポンサード リンク
|