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

$S_1=$ ,  $S_2=$ .

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