习题 1, § 2

证明，在集合 E 上的排序集合中，最小元素（相对于序关系，“$\Gamma$ 比 $\Gamma'$ 粗”，在 $\Gamma$ 和 $\Gamma'$ 之间）是 E 上的总排序，并且如果 $\Gamma$ 是 E 上的任何排序E，$\Gamma$的图是E上比$\Gamma$更粗的总排序图的交（no. 4的应用定理 2）。推论每个有序的集合同构于全序集的乘积的子集。