ただし,vi は変数,
ti は vi と異なる項
で,各要素の "/" の右側に現れる変数は全て異なる.
代入が空集合であるとき,空の代入 (empty
substitution)とよび,ε と表記する.
(例)
θ = {f(a)/x, g(b)/y}, E = P(x, y, f(y)) のとき,Eθを求めよ.
θ = {f(y)/x, g(b)/y}, E = P(x, y, f(y)) のとき,Eθを求めよ.
{t1λ/x1, ・・・, tnλ/xn, ・・・, u1/y1, ・・・, um/ym} から tjλ = xj なる tjλ/xj と yi ∈ {x1, ・・・, xn} なる ui/yi を除いたもの.
(例)
θ = {y/x, f(y)/z}, λ = {a/x, b/y} のとき θ○λ を求めよ.