Es sei S {\displaystyle {}S} ein Symbolalphabet einer Sprache erster Stufe. Es seien S {\displaystyle {}S} -Terme s , t {\displaystyle {}s,t} mit