Surjektiv/Hintereinanderschaltung/Eine Menge/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere mit dem Symbolalphabet, das neben Variablen aus besteht, wobei einstellige Funktionssymbole sind, dass die Hintereinanderschaltung von surjektiven Abbildungen

auf einer Menge wieder surjektiv ist.