My calculus book denotes like following:
If $f: X \rightarrow Y$ is injective $ \Rightarrow$ $f^{-1}$ is defined as following : $f^{-1}(b) = a \iff f(a) =b$ where domain of $f^{-1}$ is $Y$ and codomain is $X$
But What I know is inverse exists only in case f is bijective. Isn't it? and one more question, if inverse exists only in case of f is bijective, above definition assumes that $f(Y\setminus f(x)) = \emptyset$ ?
If $f: X \rightarrow Y$ is injective, then you can define $f_0:X \rightarrow f(X)$ by $f_0(x)=f(x)$.
$f_0$ is bijective, hence $f_0^{-1}:f(X) \to Y$ exists.