التماثل المحتمل

في المنطق الرياضي ، وتحديدًا في نظرية النماذج ، يُعرَّف التشاكل الكامن بأنه مجموعة من التشاكلات الجزئية المحدودة بين نموذجين، والتي تحقق شروط إغلاق معينة. وجود التشاكل الجزئي يستلزم التكافؤ الأساسي ، إلا أن العكس ليس صحيحًا بشكل عام، ولكنه ينطبق على النماذج المشبعة بـ ω .

التشاكل المحتمل بين نموذجين M و N هو مجموعة غير فارغة F من التشاكلات الجزئية المحدودة بين M و N والتي تحقق الخاصيتين التاليتين:

• لكل تماثلات جزئية منتهية Z ∈ F ولكل x ∈ M يوجد y ∈ N بحيث Z ∪ {( x , y )} ∈ F
• لكل تماثلات جزئية منتهية Z ∈ F ولكل y ∈ N ، يوجد x ∈ M بحيث Z ∪ {( x , y )} ∈ F

يُعد مفهوم لعبة إهرنفويشت-فرايسيه وصفًا دقيقًا للتكافؤ الأولي، ويمكن اعتبار التشاكل المحتمل تقريبًا له. وهناك مفهوم آخر مشابه للتشاكل المحتمل وهو التشاكل الموضعي .

• تشانغ، سي سي؛ كيسلر، إتش. جيروم (1989). نظرية النماذج (  الطبعة الثالثة). إلسيفير . ISBN 0-7204-0692-7.
• بويزات، برونو (2000). دورة في نظرية النماذج . سبرينغر . ISBN 0-387-98655-3.