Funktionale Hülle/Durchschnitt/Aufgabe
Es sei ein erststufiges Symbolalphabet, eine -Struktur und eine Teilmenge. Zeige, dass die (rekursiv definierte) funktionale Hülle von gleich dem Durchschnitt über alle funktional abgeschlossenen Teilmengen ist, die umfassen.