2. 设σ是公式集F的一个合一，如果对于F的任何一个合一θ，都存在替换λ，使得：θ=σ·λ，则称σ是F的____

考查要点：本题考查数理逻辑中合一的基本概念，特别是最一般合一的定义与性质。

解题核心思路：
题目中定义的σ满足：对于任意合一θ，存在替换λ使得θ=σ·λ。这表明σ是所有可能合一的公共基础，即σ必须是最“通用”的合一，能够通过附加替换λ生成任意其他合一。这种性质正是最一般合一的特征。

破题关键点：

• 最一般合一的定义：它是公式集F的合一中，变量约束最少、自由度最大的那个，能通过进一步替换生成所有其他合一。
• 替换组合σ·λ的含义：先应用σ，再应用λ，说明σ是基础，λ是补充。

最一般合一的定义可分解为两点：

1. 存在性：σ本身是F的一个有效合一。
2. 通用性：任意其他合一θ都可以表示为σ与某个替换λ的组合（θ=σ·λ）。

关键推导：

• 若σ不是最一般合一，则其可能对某些变量施加了额外约束，导致无法通过附加λ生成所有θ。
• 只有最一般合一保留所有可能的自由度，才能满足题目中的条件。