Erinevus lehekülje "Osaline järjestus" redaktsioonide vahel

Mine navigeerimisribale Mine otsikasti
parandasin lause ülesehitust
P (Robot: muudetud 1 intervikilinki, mis on nüüd andmekogus Wikidata)
(parandasin lause ülesehitust)
Eelnevalt defineeritud seost nimetatakse ka '''mitterangeks osaliseks järjestuseks'''. Sellele vastandub siis [[range osaline järjestus]] (mida sageli nimetatakse ka lihtsalt rangeks järjestuseks), mis on defineeritud kui [[irrefleksiivsus|irrefleksiivne]] ning [[transitiivsus|transitiivne]] [[binaarne seos]]. Ranget järjestust tähistatakse enamasti märgiga <.
 
Osutub, et kui X on mingi hulk ning &le; on mitterange järjestus hulgal X, siis järgnevalt defineeritud seos < on range järjestus hulgal X: x &lt; y, kui x &le; y ning x &ne; y. Vastupidi, kui &lt; on range järjestus hulgal X, siis saame hulgal X defineerida mitterange järjestusseose &le; nõnda: x &le; y, kui x < y või x = y. Nii saab defineerida mingil hulgal rangete osaliste järjestuste ning mitterangete osaliste järjestuste vahel on loomuliku [[üksühene vastavus|üksühese vastavuse]]. Seetõttu peetakse sageli enesestmõistetavaks, et kui hulgal on defineeritud mitterange osaline järjestus &le;, siis on defineeritud seal ka sellele vastav mitterange järjestus &lt; ning vastupidi.
 
===Näited===
Anonüümne kasutaja

Navigeerimismenüü