Surjektiv/Hintereinanderschaltung/Formalisiere/Aufgabe
Erscheinungsbild
Formalisiere mit dem Symbolalphabet , wobei einstellige Funktionssymbole seien, die Aussage, dass die Hintereinanderschaltung von surjektiven Abbildungen wieder surjektiv ist.