RhymeZone: well-order definitions

Hey you! Yes, you! Thank you for adding beauty to the world!

Definitions of well-order:

noun: (set theory, order theory) A total order of some set such that every nonempty subset contains a least element.
verb: (set theory, order theory, transitive) To impose a well-order on (a set).

(Definitions from Wiktionary)