離散數學/選擇公理

選擇公理:

如果$f:A\rightarrow B$ 是一個滿射，那麼存在一個對映$g:B\rightarrow A$ 使得$f\circ g$ 是恆等對映（平凡對映）。

引理：每個集合都可以良序排列。