An order (total order or partial order) is said to be well ordered (or a well ordering, sometimes even a well order, irregardless of the irreparable damage done to the English language) iff every set of elements has a minimal element.

For instance, the natural numbers are well ordered, but the rational numbers, real numbers, and integers are not. For partial orders, a hierarchy given by a (rooted) tree is a well order (since an element closest to the root in some set is minimal), even if the tree is infinite.

Having a well ordered set, certain induction-like techniques can be performed on it. Unfortunately, the only way to get a well ordering of a general set is to invoke the Axiom of Choice. So you get a very "unnatural" order, which will have virtually no properties in common with the problem domain. Nonetheless, it's better than nothing, and sometimes used.

Log in or registerto write something here or to contact authors.