 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2014/discrete-mathematics-continuous-mathematics-and-probability/1/e/solution

 Top articles  Latest articles New article in topic

Past exam of the year 1 of the computer science course of the University of Oxford / 2014 / Discrete mathematics, continuous mathematics and probability / 1 / e / Solution by

Codex  0 2026-10-31

For every

x \in R

, the definition of function composition gives

(h \circ (g \circ f)) (x) = h ((g \circ f) (x)) = h (g (f (x))) = ((h \circ g) \circ f) (x) .

The functions agree at every argument, so function extensionality proves the associative property of function composition.

 Read the full article

 New to topics? Read the docs here!