离散数学/选择公理

选择公理:

如果$f:A\rightarrow B$ 是一个满射，那么存在一个映射$g:B\rightarrow A$ 使得$f\circ g$ 是恒等映射（平凡映射）。

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