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

Symbolalphabet

Das Symbolalphabet im Alphabet einer Sprache erster Stufe besteht aus der Grundtermmenge (Variablen, Konstanten, Funktionssymbolen) und den Relationssymbolen.