Some sets are well-ordered; all of their nonempty subsets have least elements. You can also have sets where all of their nonempty subsets have greatest elements.
Some sets have both of these properties. For example, any totally-ordered finite set will satisfy both of the above properties.
Are there any infinite sets that have both of these properties? I can't think of any off the top of my head, but I also can't seem to find a proof that says they can't exist.
Thanks!
Best Answer
$S$ must indeed be finite. Suppose that $S$ is infinite. Let $S_0=S$ and $x_0=\max S_0$. Given $S_n\ne\varnothing$ for some $n\in\omega$, let $x_n=\max S_n$, and let $S_{n+1}=S_n\setminus\{x_n\}$. Then the set $\{x_n:n\in\omega\}$ has no least element.