Bài tập 9, § 6

Cho E là một tập được sắp thứ tự tốt không rỗng trong đó mọi phần tử $x$ khác phần tử nhỏ nhất của E đều có một phần tử tiền nhiệm (phần tử lớn nhất của $]\leftarrow, x[$). Chứng minh rằng E là đẳng cấu với hoặc $\mathbf{N}$ hoặc một khoảng $[0, n]$ của $\mathbf{N}$ (nhận xét rằng mọi đoạn $\neq E$ là hữu hạn bằng cách sử dụng Mệnh đề 6 của no. 5; sau đó sử dụng Định lý 3 của § 2, no. 5).