Use the well-ordering theorem to show that, if ∅ ⊂ A ⊆ Z and A is bounded
superiorly (that is, there exists c ∈ Z such that for all a ∈ A a ≤ c),
then A has a maximum element.
superiorly (that is, there exists c ∈ Z such that for all a ∈ A a ≤ c),
then A has a maximum element.