Modell/Teilmenge/Funktional abgeschlossen/Definition/Begriff/Inhalt
Die Teilmenge heißt funktional abgeschlossen, wenn für jede Konstante das Element zu gehört und für jedes -stellige Funktionssymbol und beliebige Elemente auch zu gehört.
Die Teilmenge heißt funktional abgeschlossen, wenn für jede Konstante das Element zu gehört und für jedes -stellige Funktionssymbol und beliebige Elemente auch zu gehört.