AKIT
English Eesti

well ordering

täielik järjestus

olemus
selline osaline järjestus mingis hulgas või klassis X,
mis tagab, et klassi X igas mittetühjas alamhulgas
leidub vähim 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

vt ka
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