Alphabet erster Stufe/Symbole für Relationen und Funktionen/Symbolalphabet/Definition