ความสัมพันธ์แบบ forcing

หมายความว่าเงื่อนไขหนึ่งบังคับสูตรให้เป็นจริง

ในทฤษฎีเซต ความสัมพันธ์ forcing ⊩ เชื่อมเงื่อนไขเข้ากับสูตร เงื่อนไขคือชุดของตัวเลือกที่กำหนดไว้เพียงบางส่วน; การขยายเงื่อนไขจะสร้างแบบจำลองที่ใหญ่ขึ้น สัญกรณ์ p ⊩ φ หมายความว่าส่วนขยายที่เกี่ยวข้องทุกแบบซึ่งมี p อยู่ด้วยทำให้สูตร φ เป็นจริง พอล โคเฮนเสนอวิธีนี้ในปี 1963 เพื่อศึกษาว่าสมมติฐานคอนทินิวอัม — ข้อความเกี่ยวกับขนาดของเซตอนันต์ — เป็นอิสระจากสัจพจน์ทฤษฎีเซตทั่วไปหรือไม่ กล่าวคือ สัจพจน์เหล่านั้นพิสูจน์ทั้งสมมติฐานและการปฏิเสธสมมติฐานไม่ได้หรือไม่

เครื่องหมาย turnstile สองขีดยังมีความหมายเชิงรูปแบบอื่น ในอรรถศาสตร์เชิงโมดัล w ⊩ φ อาจหมายความว่าโลกหรือสถานะ w เป็นไปตาม φ ส่วนทฤษฎีผู้ทำให้เป็นจริงใช้เครื่องหมายนี้กับความสัมพันธ์ที่สถานะหนึ่งทำให้ข้อความเป็นจริง