Funktionale Hülle/Durchschnitt/Aufgabe
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.