Funktional abgeschlossen/Formales Funktionssymbol/Abgeschlossen/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass eine funktional abgeschlossene Teilmenge einer -Struktur

auch unter jedem formal-zusammengesetzten Funktionssymbol abgeschlossen ist.