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.