${\Theta }_1=$ ,  ${\Theta }_2=$ ,

$S_1=$ ,  $S_2=$ .

Berechne die Mengen $\mathrm{Var}\left({\Theta }_1\right)$ und $\mathrm{Var}\left({\Theta }_2\right)$
Berechne Verkettungen $S_1{S}_2$ und $S_2{S}_1$
Berechne Substitutionsanwendungen ${\Theta }_1{S}_1$ und ${\Theta }_2{S}_2$
Berechne Unifikation $\mathtt{MGU}\left({\Theta }_1,{\Theta }_2\right)$