علاقة الإجبار

يدل على أن شرطًا يفرض صيغة.

في نظرية المجموعات، تربط علاقة الإجبار ⊩ بين شرط وصيغة. والشرط مجموعة من الاختيارات المحددة جزئيًا؛ وتوسيعه يبني نموذجًا أكبر. وتعني الكتابة p ⊩ φ أن كل توسعة مناسبة تحتوي على p تجعل الصيغة φ صحيحة. اقترح بول كوهين الطريقة عام 1963 لدراسة ما إذا كانت فرضية الاستمرارية — وهي قضية عن أحجام المجموعات اللانهائية — مستقلة عن مسلمات نظرية المجموعات المعتادة، أي لا يمكن إثباتها ولا إثبات نفيها انطلاقًا من تلك المسلمات.

لرمز الدوران ذي الخطين قراءات صورية أخرى أيضًا. ففي الدلالات الموجهية قد تعني w ⊩ φ أن العالم أو الحالة w يحقق φ. وتستخدمه نظرية صانعات الصدق لعلاقة تجعل فيها حالةٌ عبارةً ما صحيحة.