Es sei ein Symbolalphabet S {\displaystyle {}S} einer Sprache erster Stufe gegeben, es sei x {\displaystyle {}x} eine Variable und t {\displaystyle {}t} ein fixierter S {\displaystyle {}S} -Term. Gehört die Symbolkette (!) α t x {\displaystyle {}\alpha {\frac {t}{x}}} zu L S {\displaystyle {}L^{S}} ?
