由单射怎样推左可逆？

请问这是什么书上的？

另一单射函数的定义为其作用可取消的函数。更精确地说，f : x → y为单射，若存在一函数g : y → x，使得对所有x内的x，g(f(x)) = x，亦即g o f 等同于x上的恒等函数。 注意，g不一定是一f的完全反函数，因为其他顺序的复合f o g不一定是在x上的恒等函数。 事实上，将一单射函数f : x → y变成一双射函数，只需要将其陪域y替换成其值域j = f(x)就行了。亦即，令g : x → j，使其对所以x内的x，g(x) = f(x)；如此g便为单射的了。确实，f可以分解成inclj,yog，其中inclj,y来由j至y的内含映射。