• Well-order

    Full definition of well-order

    Noun

    1. (mathematics) A total order of which every nonempty subset has a least element.

    Verb

    1. (mathematics, transitive) To impose a well-order on (a set).
    © Wiktionary