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

Die Termmenge zu einer Grundtermmenge .