$$f^{-1} : Y \to X$$
such that
$$ff^{-1} = I_{x} \; \land f^{-1}f = I_{y}$$
$$\exists f^{-1} \iff f \; \text{bijective}$$