Modell/Teilmenge/Funktional abgeschlossen/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Funktional-abgeschlossene Teilmenge

Es sei ein erststufiges Symbolalphabet umd eine -Struktur. Eine Teilmenge heißt funktional abgeschlossen (oder eine -Unterstruktur), wenn für jede Konstante das Element zu gehört und für jedes -stellige Funktionssymbol und beliebige Elemente auch zu gehört.