شبه الهوية

في الجبر الشامل ، شبه الهوية هي استلزام على الشكل التالي:

s1 ₌ t1 ∧ … ∧ sn ₌ tn → s = _t​_​

حيث أن s ₁ ، ...، s _n ، t ₁ ، ...، t _n ، s ، و t هي مصطلحات مبنية من متغيرات باستخدام رموز العمليات للتوقيع المحدد .

تُعرَّف شبه المتطابقة بأنها معادلة شرطية تكون شروطها معادلات. أو يمكن اعتبارها فصلًا للمتباينات ومعادلة واحدة: s ₁ ≠ t ₁ ∨ ... ∨ s _n ≠ t _n ∨ s = t — أي، كعبارة هورن محددة . شبه المتطابقة التي يكون فيها n = 0 هي متطابقة أو معادلة عادية ، لذا فإن شبه المتطابقات هي تعميم للمتطابقات.

• شبه تنوع

• بوريس، ستانلي ن.؛ إتش بي سانكابانافار (1981). دورة في الجبر الشامل . سبرينغر . ISBN 3-540-90578-2.نسخة إلكترونية مجانية .