Injektiv/Hintereinanderschaltung/Eine Menge/Formalisiere/Aufgabe
Formalisiere mit dem Symbolalphabet, das neben Variablen aus besteht, wobei einstellige Funktionssymbole sind, die Aussage, dass die Hintereinanderschaltung von injektiven Abbildungen auf einer Menge wieder injektiv ist.
