力迫关系

百科含义

力迫关系在力迫法中力迫关系通常记为⊩ （读作力迫），是定义在基础模型 M 中一个二元关系。力迫关系的左变量是一个力迫条件，右变量是力迫语言的句子。