Surjektiv/Hintereinanderschaltung/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Formalisiere mit dem Symbolalphabet , wobei einstellige Funktionssymbole seien, die Aussage, dass die Hintereinanderschaltung von surjektiven Abbildungen

wieder surjektiv ist.