$$ Seien\quad A,B,C\quad Mengen\quad und\quad seien\quad f:A\rightarrow B\quad und\quad g:B\rightarrow C\quad Abbildungen.\quad Unter\quad welchen\quad Voraussetzungen\quad ist\quad die\quad Abbildung\quad g*f\quad definiert?\\ Ich\quad habe\quad mir\quad gedacht,\quad dass\quad der\quad Wertebereich\quad der\quad einen\quad Funktion\quad und\quad der\quad Definitionsbereich\quad der\quad anderen\quad übereinstimmen\quad müssen.\\ Der\quad Wertebereich\quad von\quad f\quad muss\quad gleich\quad dem\quad Definitionsbereich\quad von\quad g\quad sein,wenn\quad wir\quad g*f\quad bilden\quad möchten.\quad Aber\quad wie\quad kann\quad ich\quad das\\ formal\quad beweisen?\quad Kann\quad mir\quad das\quad jemand\quad erklären?\quad Ich\quad habe\quad sowas\quad noch\quad nie\quad gemacht?\quad \quad \\ \\ $$