例如 　　{a/x，c/y，f(b)/z}是一个置换。 　　{g(y)/x，f(x)/y}不是一个置换，原因是它在x和y之间出现了循环置换现象。置换的目的是要将某些变量用另外的变量、常量或函数取代，使其不在公式中出现。但在{g(y)/x，f(x)/y}中，它用g(y)置换x，用f(g(y))置换y，既没有消去x，也没有消去y。若改为{g(a)/x，f(x)/y}就可以了。 　　通常，置换用希腊字母θ、σ、α、λ来表示的。 　　定义：置换的合成 　　设θ＝{t1/x1, t2/x2, …, tn/xn}，λ＝{u1/y1, u2/y2, …, un/yn}，是两个置换。则q与l的合成也是一个置换，记作θ・λ。它是从集合 　　{t1・λ/x1, t2・l/x2, …, tn・λ/xn, u1/y1, u2/y2, …, un/yn} 　　即对ti先做λ置换然后再做θ置换，置换xi 　　中删去以下两种元素： 　　i. 当tiλ＝xi时，删去tiλ/xi (i = 1, 2, …, n); 　　ii. 当yi∈{x1,x2, …, xn}时，删去uj/yj (j = 1, 2, …, m) 　　最后剩下的元素所构成的集合。 　　例： 　　设θ＝{f(y)/x, z/y}，λ＝{a/x, b/y, y/z}，求θ与λ的合成。 　　解： 　　先求出集合 　　{f(b/y)/x, (y/z)/y, a/x, b/y, y/z}＝{f(b)/x, y/y, a/x, b/y, y/z} 　　其中，f(b)/x中的f(b)是置换l作用于f(y)的结果；y/y中的y是置换λ作用于z的结果。在该集合中，y/y满足定义中的条件i，需要删除；a/x，a/y满足定义中的条件ii，也需要删除。最后得 　　θ・λ＝{f(b)/x，y/z}