Wiktionary
well-ordering
n. (context mathematics English) A total order of which every nonempty subset has a least element. vb. (present participle of well-order English)