Exercise A0.V.3.01

Proposition

Every well-ordering is total.

Proof

If every non-empty subset has the least element, then certainly every pair of elements has the least element. Thus, all elements are comparable and the order is total.

$\blacksquare$