Eine S {\displaystyle {}S} -Struktur zu einem Symbolalphabet S {\displaystyle {}S} einer Sprache erster Stufe.