"Then, in (c), you first have f going from A to B , then $f^{-1}$ goes from B to A , so, you take an input 'a' from A, map it to b in B using f, then you have $f^{-1}$ , which goes from B to A, so the result is a function from A to A." . . . . .