Go backward to Commutative Diagrams Go up to Top Go forward to

Function Composition

Proposition: function composition is associative.

forall A, B, C, D, f: A -> B, g: B -> C, h: C -> D:

f o (g o h)=(f o g) o h