寻找项对变量的置换，以使两表达式一致，叫做合一(unification)。如果一个置换s作用于表达式集｛Ei｝的每个元素，则用｛Ei｝s来表示置换例的集。称表达式集｛Ei｝是可合一的。如果存在一个置换s使得：E1s=E2s=E3s=…那么称此s为｛Ei｝的合一者，因为s的作用是使集合｛Ei｝成为单一形式。