Osaline järjestus: erinevus redaktsioonide vahel

Vahel nimetatakse eelnevalt defineeritud seost ka '''nõrgaks''' või '''mitterangeks''' '''osaliseks järjestuseks'''. Sellele vastandub siis '''range osaline järjestus''' (ehk lihtsalt '''range järjestus'''), mis on defineeritud kui [[irrefleksiivsus|irrefleksiivne]] ning [[transitiivsus|transitiivne]] [[binaarne seos]]. Ranget järjestusseost tähistatakse enamasti märgiga < ("väiksem-kui").

Mingil hulgal defineeritud rangete osaliste järjestuste ning mitterangete osaliste järjestuste vahel on loomulik [[üksühene vastavus]]: kui <math>X</math> on mingi hulk ning hulk <math>R</math> on hulga <math>X</math> [[otseruut|otseruudu]] mingi alamhulk, mis määrab hulgal <math>X</math> mitterange järjestusseose, siis hulk <math>R\backslash I</math>, kus <math>I</math> on [[samasusseos]] hulgal <math>X</math>, määrab range osalise järjestuse hulgal <math>X</math> ja vastupidi, kui hulk <math>R\subset X^2</math> määrab range järjestuse hulgal <math>X</math>, siis hulk <math>R\cup I</math> määrab mitterange järjestusseose. Ranget järjestusseost tähistatakse enamasti märgiga < ("väiksem-kui").