Funktionale Hülle/Durchschnitt/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.