Also ich möchte mir ungern ein Beweis im Internet angucken, man will es ja selber können:)
Das Problem ist nur, dass ich nie weiß, wie ich so etwas zeigen soll.
z.B am oberen Beispiel
Sei f:X->Y und g:Y->Z
Dann müsste ja für f o g surjektiv gelten: das für jedes zeZ mindestens ein xeX gibt mit f o g(x)=z.
Weiter gilt ja, dass f surjektiv ist wenn es für jedes yeY mindestens ein xeX gibt mit f(x)=z.
und das g surjektiv ist wenn es für jedes zeZ mindestens ein yeY gibt mit g(y)=z.
Aber wie kombiniere ich das nun so, dass es ein Beweis wird, gut vielleicht ist auch alles falsch was dort oben steht.