Zum Inhalt springen

Funktionale Hülle/Durchschnitt/Aufgabe

Aus Wikiversity

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.