Ich zeige die eine (etwas schwierigere) Richtung:
\(f\) genüge der angegebenen Bedingung.
Zu zeigen ist, dass dann \(f\) injektiv ist.
Seien \(x,y\in M\) mit \(f(x)=f(y)\).
Wir betrachten eine einelementige Menge \(X=\{z\}\)
und die beiden Abbildungen \(g,h:X\rightarrow M\), die durch
\(g(z)=x\) und \(h(z)=y\) gegeben sind.
Dann ist \(f(g(z))=f(x)=f(y)=f(h(z)) \forall z \in X\), d.h.
\(f\circ g=f\circ h\). Nach Voraussetzung folgt daraus \(g=h\), also
\(x=g(z)=h(z)=y\). Somit ist \(f\) injektiv.