olemus
selline osaline järjestus
mingis hulgas või klassis X,
mis tagab, et klassi X igas mittetühjas alamhulgas
leidub vähim element
=
a special type of total order where every non-empty subset has a least element

omadusi
(i) iga täielik järjestus on lineaarne, kuid
vastupidine ei kehti:
näiteks ratsionaalarvude järjestus on
lineaarne, kuid mitte täielik

(ii) hulga X täielik järjestamisega on ekvivalentne
ta elementide nummerdamine ordinaalarvudega, st
hulga X ja mingi ordinaalarvu elementide
üksühesesse vastavusse seadmine

(iii) iga hulk on täielikult järjestatav

ülevaateid
https://en.wikipedia.org/wiki/Well-order

https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/readings/MIT6_042JS15_Session3.pdf

https://math.berkeley.edu/~kpmann/Well-ordering.pdf

http://www.csd.uwo.ca/~moreno/cs2209_moreno/slide/lec18-19-well-ordering-induction.pdf