Definition 5.5.10 states that we let $X$ and $Y$ be sets and let $f: X \rightarrow Y$ be a function. If $g: Y \rightarrow X$ satisfies the two conditions $g \circ f = i_x$ and $f \circ g = i_y$, then $g$ is an inverse function of f (or more briefly, and inverse of f).\\