代换的复合

定义：设  
θ = {t₁/x₁, t₂/x₂, …, tₙ/xₙ}  
λ = {u₁/y₁, u₂/y₂, …, uₘ/yₘ}  

是两个代换，则此两个代换的复合也是一个代换，它是从  
{t₁λ/x₁, t₂λ/x₂, …, tₙλ/xₙ, u₁/y₁, u₂/y₂, …, uₘ/yₘ}  

中删去如下两种元素：  
tᵢλ/xᵢ    当 tᵢλ = xᵢ  
uⱼ/yⱼ    当 yⱼ ∈ {x₁, x₂, …, xₙ}  

后剩下的元素所构成的集合，记为 θ°λ。  

✖ 注：tᵢλ表示对 tᵢ 适用 λ 代换。实际上 θ°λ 就是对一个公式先适用 θ 代换，然后再适用 λ 代换。

q={f(y)/x,z/y},
p={a/x,b/y,y/z},
则 q∘p=（ ）

答案: 
 { f(b) ∕ x ,  y ∕ z }

大伙可以多测试几遍. 
o...