well-ordered set


noun Mathematics.

a totally ordered set in which every nonempty subset has a smallest element with the property that there is no element in the subset less than this smallest element.