"Ich glaube der Pfeil müsste auf das selbe Element in der Menge B zeigen und unter Umständen auch vom gleichen Element aus der Teilmenge C ausgehen."
Nein, das Diagramm ist nicht falsch. Man könnte bei der Beschriftung f_c durch f ersetzen, aber nicht f durch f_c.