forcing relation
力迫关系在力迫法中力迫关系通常记为⊩ （读作力迫），是定义在基础模型 M 中一个二元关系。力迫关系的左变量是一个力迫条件，右变量是力迫语言的句子。
详细内容
应用推荐
模块上移
模块下移
不移动