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