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
http://www.csd.uwo.ca/~moreno/cs2209_moreno/slide/lec18-19-well-ordering-induction.pdf