Sekirov Dictionary

well-order

noun 1
verb 1
forms 3

noun1

•
A total order of some set such that every nonempty subset contains a least element.
- ̲X is well-order enriched iff every morphism set ̲X(X,Y) carries a well-order ≤_(XY) such that f≨_(XY)g⇒h•f≨_(XY)h•g for every h:Y→Z. — 1986

verb1

•
To impose a well-order on (a set).
- The set of positive integers is well-ordered by the relation ≤.

forms

well-ordered · well-ordering · well-orders

This dictionary works without the internet: on your phone · in Chrome