Injektiv/Hintereinanderschaltung/Eine Menge/Formalisiere/Aufgabe

Formalisiere mit dem Symbolalphabet, das neben Variablen aus ${}\{f,g\}$ besteht, wobei ${}f,g$ einstellige Funktionssymbole sind, die Aussage, dass die Hintereinanderschaltung von injektiven Abbildungen

auf einer Menge wieder injektiv ist.

Eine Lösung erstellen