Injektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe

Aus Wikiversity
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.
Eine Lösung erstellen