Surjektiv/Hintereinanderschaltung/Eine Menge/Formalisiere/Aufgabe
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.