Funktionale Hülle/Durchschnitt/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet, ${}M$ eine ${}S$-Struktur und ${}T\subseteq M$ eine Teilmenge. Zeige, dass die (rekursiv definierte) funktionale Hülle

von ${}T$ gleich dem Durchschnitt über alle funktional abgeschlossenen Teilmengen ${}N\subseteq M$ ist, die ${}T$ umfassen.

Eine Lösung erstellen