力迫关系

力迫关系在力迫法中力迫关系通常记为? （读作力迫），是定义在基础模型 M 中一个二元关系。力迫关系的左变量是一个力迫条件，右变量是力迫语言的句子。美国数学家科恩(Cohen,P.J.)原来对力迫关系的定义是通过对 σ的结构进行递归定义。现代力迫法通常也采用这种方式定义力迫关系。在布尔值模型中，力迫关系定义为 p?σ，当且仅当 e(p)≤||σ||，式中 e 表示 P 到 P 的正规开代数 B=r. o. (P) 的规范嵌入，||σ||表示 σ的布尔值。