 Solution

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

True: (f \circ g) \circ (f \circ g)^{- 1} = id .

This is exactly the defining cancellation property of an inverse function, with the whole function composition regarded as one function.

 New to topics? Read the docs here!