习题 9, § 6

令 E 为非空良序集，其中除了 E 的最小元素之外，每个元素 $x$ 都有一个前驱（$]\leftarrow, x[$ 的最大元素）。证明 E 同构于 $\mathbf{N}$ 或 $\mathbf{N}$ 的区间 $[0, n]$（注，通过使用 no. 5 的命题 6 来确定每个线段 $\neq E$ 是有限的；然后使用 § 2, no. 5 的定理 3）。