Exercise 5, § 2

Let E be an ordered set and let $\mathfrak{I}$ be the set of free subsets of E, ordered by the relation defined in § 1, Exercise 5. Show that, if E is inductive, then $\mathfrak{I}$ has a greatest element.