Es sei ein Symbolalphabet S {\displaystyle {}S} einer Sprache erster Stufe gegeben. Es seien x 1 , … , x k {\displaystyle {}x_{1},\ldots ,x_{k}} paarweise verschiedene Variablen und t 1 , … , t k {\displaystyle {}t_{1},\ldots ,t_{k}} fixierte S {\displaystyle {}S} -Terme.
a) Interpretiere die Termsubstitution t 1 , … , t k x 1 , … , x k {\displaystyle {}{\frac {t_{1},\ldots ,t_{k}}{x_{1},\ldots ,x_{k}}}} als Abbildung.
b) Interpretiere die Substitution von Ausdrücken
einer
Sprache erster Stufe
gegeben. Es seien 
paarweise verschiedene Variablen und 
fixierte
-Terme.
als Abbildung.
