= Well-order {wiki} A well-order is a <total order> in which every nonempty subset has a least element.
Back to article page
