Es sei S {\displaystyle {}S} ein Symbolalphabet erster Stufe. Definiere eine S {\displaystyle {}S} -„Unterstruktur“ in einer S {\displaystyle {}S} -Struktur
.