Term/Variablenmenge/Funktionssymbole/Grundmenge/Definition

< Term < Variablenmenge < Funktionssymbole < Grundmenge

Grundtermmenge

Eine Grundtermmenge besteht aus den folgenden (untereinander disjunkten) Mengen.

eine Variablenmenge ${}V$ ,
eine Konstantenmenge ${}K$ ,
zu jedem ${}n\in \mathbb {N} _{+}$ eine Menge ${}F_{n}$ von Funktionssymbolen.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.