# Totally Ordered Set is Well-Ordered iff Subsets Contain Infima

Jump to navigation
Jump to search

## Theorem

Let $\struct {S, \preccurlyeq}$ be a totally ordered set.

Then $\struct {S, \preccurlyeq}$ is a well-ordered set if and only if every non-empty subset of $T \subseteq S$ has an infimum such that $\map \inf T \in T$.

## Proof

### Sufficient Condition

Let $T \subseteq S$ such that $m := \map \inf T \in T$.

By definition, $m$ is a lower bound of $T$ and so:

- $\forall x \in T: m \preccurlyeq x$

That is:

- $\neg \exists x \in T: x \prec m$

Thus by definition $x$ is a minimal element of $T$.

Thus by definition $S$ is well-founded and so is a well-ordered set.

$\Box$

### Necessary Condition

Now suppose $T$ is a well-ordered set.

Then from Well-Ordering is Total Ordering it follows immediately that $\struct {S, \preccurlyeq}$ is a totally ordered set.

$\blacksquare$

## Sources

- 1965: Seth Warner:
*Modern Algebra*... (previous) ... (next): $\S 14$