Forcingrelation

Det betyder, at en betingelse tvinger en formel.

I mængdelære forbinder forcingrelationen ⊩ en betingelse med en formel. En betingelse er et delvist fastlagt sæt valg; når den udvides, bygges en større model. Skrivemåden p ⊩ φ betyder, at enhver relevant udvidelse med p gør formlen φ sand. Paul Cohen foreslog metoden i 1963 for at undersøge, om kontinuumhypotesen — en påstand om størrelsen af uendelige mængder — kunne være uafhængig af mængdelærens sædvanlige aksiomer, altså hverken beviselig eller modbeviselig ud fra dem.

Den dobbelte turnstile har også andre formelle læsninger. I modal semantik kan w ⊩ φ betyde, at en verden eller tilstand w opfylder φ. I truthmaker-teori bruges tegnet om en relation, hvor en tilstand gør et udsagn sandt.