力迫关系

$p⊩\phi$ 表示 $p$ 已经携带足够信息，使任何继续尊重 $p$ 的泛型选择最终都令 $\phi$ 成立。原子成员条款要求：无论怎样先加强 $p$，仍能进一步找到一个被 $\sigma$ 的条件激活的子名，并迫使它与 $\tau$ 相等。这里的“处处还能到达”正是稠密性被写进递归的形式。

否定条款最能体现“必然”：$p$ 迫使 $\mathrm{\neg }\phi$，不是因为 $p$ 暂时没有证明 $\phi$，而是因为 $p$ 以下根本没有任何条件还能迫使 $\phi$。因此不知道与知道否定之间存在真实间隙。

在 Cohen 力迫中，设 $\dot{c}$ 是泛型实数名。若条件 $p$ 已定义 $p(n)=1$，则

若 $p(n)=0$，则 $p⊩\check{n}\notin \dot{c}$。若 $n\notin \mathrm{dom}(p)$，则分别把 $n$ 延伸为 $1$ 或 $0$ 得到两个不相容加强，所以 $p$ 两个方向都不迫使。决定第 $n$ 位的条件却形成稠密集，泛型滤子最终必经过其中一边。

这个例子区分三句话：

第一句只说当前条件尚未锁定 $\phi$，不蕴含第二句；若第三句成立，第二句反而不可能成立。把“未力迫”直接读成“力迫否定”会抹掉所有尚可分叉的信息。

常见的语义口号是：$p⊩\phi$ 当且仅当每个包含 $p$ 的 $M$-泛型 $G$ 都使 $M[G]\models \phi$。在建立足够多泛型并证明力迫定理后，这个刻画成立；它不是基础定义，否则“力迫关系可在 $M$ 内定义”的关键事实会被循环依赖于外部扩张。

不同教材的原子递归外观可能不同：可使用稠密条款、regular open Boolean 值或先定义子集关系。只要证明它们给出同一真值引理，便是等价呈现。次序方向若反转，所有 $q\le p$ 的“加强”解释也必须同步反转。

对任意句子 $\phi$，决定它的条件

是稠密的。给定 $p$，若某个加强迫使 $\phi$ 就取它；若没有，则否定条款本身给出 $p⊩\mathrm{\neg }\phi$。这保证泛型滤子会在每个公式上进入一个确定分支，而不要求最弱条件决定全部事实。

力迫关系把关于未来扩张的语义问题转成地面模型中的组合问题。证明某偏序迫使 CH 失败、保持基数或不加入新可数序列，实际就是分析哪些条件迫使哪些名字陈述，以及相应决定集是否稠密。

可定义性引理说明：对每个固定公式 $\phi$，关系“$p⊩\phi (\overline{\tau })$”由集合论公式在 $M$ 内定义。配合真值引理，这两部分组成力迫定理。若换成真类力迫，可定义性或真值引理都可能失败，必须额外验证，不能把符号 $⊩$ 当作自动存在。