Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition

Termmenge

Zu einer Grundtermmenge ist die zugehörige Termmenge (oder die Menge der -Terme) diejenige Teilmenge der Wörter über dem Termalphabet , die durch die folgenden rekursiven Vorschriften festgelegt wird.

  1. Jede Variable ist ein Term.
  2. Jede Konstante ist ein Term.
  3. Für jedes und Terme ist auch ein Term.