證明：$(g\circ f = e_X)\Rightarrow(g是滿射)\wedge(f是單射)$

$(g\circ f = e_X)\Rightarrow(g是滿射)\wedge(f是單射)$

1. 假設：$f:X \rightarrow Y$, $g:Y\rightarrow X$，且$g\circ f = e_X:X\rightarrow X$。
2. 則，$X=e_X(X)=(g\circ f)(X)=g(f(X))\subset g(Y)$，這表明$g$是滿射。
3. 此外，如果$x_1\in X$, $x_2\in X$, 則
   $(x_1 \neq x_2)\Rightarrow(e_X(x_1)\neq e_X(x_2))\Rightarrow ((g\circ f)(x_1)\neq (g\circ f)(x_2))\Rightarrow (g(f(x_1))\neq g(f(x_2)))\Rightarrow (f(x_1)\neq f(x_2))$,
   所以$f$是單射。

注意上式最後一步的推導，因爲函數可以多對1，但不能1對多。
比如：如果$x_1\neq x_2$, 則可能有$f(x_1)=f(x_2)$, 也可能有$f(x_1)\neq f(x_2)$；
但是，如果$f(x_1)\neq f(x_2)$, 則一定有$x_1\neq x_2$。