Injektiv/Hintereinanderschaltung/Eine Menge/Formalisiere/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.