Funktional abgeschlossen/Formales Funktionssymbol/Abgeschlossen/Aufgabe

Zeige, dass eine funktional abgeschlossene Teilmenge  ${}T\subseteq M$  einer ${}S$-Struktur ${}M$ auch unter jedem formal-zusammengesetzten Funktionssymbol abgeschlossen ist.

Eine Lösung erstellen