Hi,
ich glaube, diese Aussagen entstammen der Kategorientheorie (ne?).
a) und d) sind richtig.
g * f ist surjektiv heißt, dass g * f auf ganz Z abbildet, eine Eigenschaft, die die Verknüpfung von g haben muss,
g * f ist injektiv heißt, dass für g * f jeder Bildpunkt in Z maximal einen Urbildpunkt in X hat. Das heißt, jeder Bildpunkt in Y hat schon maximal einen Urbildpunkt in X. Diese Eigenschaft also "erbt" die Verknüpfung von f.
MfG
Mister