Injektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe
Zur Navigation springen
Zur Suche springen
Formalisiere mit dem Symbolalphabet , wobei einstellige Funktionssymbole sind, die Aussage, dass die Hintereinanderschaltung von injektiven Abbildungen
zwischen Mengen wieder injektiv ist.