Let $f : X \to Y$ and $g : Y \to Z$ and $h : Z \to W$ each be a D18: Map.

Then \begin{equation} h \circ (g \circ f) = (h \circ g) \circ f \end{equation}