Bài tập 5, § 2

Cho E là một tập hợp có thứ tự và cho $\mathfrak{I}$ là tập hợp các tập con tự do của E, được sắp thứ tự bởi quan hệ được xác định trong § 1, Bài tập 5. Chứng minh rằng, nếu E là quy nạp, thì $\mathfrak{I}$ có một phần tử lớn nhất.