1. ## Functions

Prove: If f is invertible, f^(-1)<dot> f = Id_(domf), f <dot> f^(-1) = Id_(ranf).

<dot> is the circle that means composed and _ denotes subscript. Thanks.

2. What is the definition of the "inverse" of a function, f?