Injektiv/Hintereinanderschaltung/Mengen/Formalisiere/Aufgabe

Formalisiere mit dem Symbolalphabet ${}S=\{f,g\}\cup V$ , wobei ${}f,g$ einstellige Funktionssymbole sind, die Aussage, dass die Hintereinanderschaltung von injektiven Abbildungen zwischen Mengen wieder injektiv ist.