Bài tập 2, § 4

Chứng minh rằng một tập hợp E là hữu hạn nếu và chỉ nếu mọi tập con khác rỗng của $\mathfrak{P}(\mathrm{E})$ đều có một phần tử cực đại (đối với quan hệ bao hàm). (Để chứng minh rằng điều kiện là đủ, hãy áp dụng nó cho tập hợp $\mathfrak{F}(\mathrm{E})$ các tập con hữu hạn của E.)