well-order
Short definition from Wiktionary
Noun
- A total order of some set such that every nonempty subset contains a least element.
Verb
- To impose a well-order on (a set).
We haven’t written up well-order yet: Simple and Standard meanings, examples and a quiz.