well-order
total order such that every nonempty subset of the domain has a least element
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous