Exercise 2, § 4

Show that a set E is finite if and only if every non-empty subset of $\mathfrak{P}(\mathrm{E})$ has a maximal element (with respect to inclusion). (To show that the condition is sufficient, apply it to the set $\mathfrak{F}(\mathrm{E})$ of finite subsets of E.)