lì pò guān xì · ㄌㄧˋ ㄆㄛˋ ㄍㄨㄢ ㄒㄧˋ · 更新 2026-06-30 23:09:11
力迫关系在力迫法中力迫关系通常记为⊩ （读作力迫），是定义在基础模型 M 中一个二元关系。力迫关系的左变量是一个力迫条件，右变量是力迫语言的句子。