Abbildung/Hintereinanderschaltung/Assoziativ/Fakt

Es seien ${}L,M,N$ und ${}P$ Mengen und es seien

$F\colon L\longrightarrow M,\,x\longmapsto F(x),$

$G\colon M\longrightarrow N,\,y\longmapsto G(y),$

und

$H\colon N\longrightarrow P,\,z\longmapsto H(z),$

Abbildungen.

Dann ist

${}H\circ (G\circ F)=(H\circ G)\circ F\,.$

Zum Beweis, Alternativen Beweis erstellen