A well-ordered set is a set together with a total order for which every non-empty subset has a least element. The set of natural numbers is well ordered, a fact which is commonly referred to as the well-ordering principle. The statement that every set can be well ordered is equivalent to the axiom of choice.