Funktional abgeschlossen/Formales Funktionssymbol/Abgeschlossen/Aufgabe
Zur Navigation springen
Zur Suche springen
Zeige, dass eine funktional abgeschlossene Teilmenge einer -Struktur
auch unter jedem formal-zusammengesetzten Funktionssymbol abgeschlossen ist.