Osaliselt järjestatud hulk
Osaliselt järjestatud hulk ehk järjestatud hulk on hulk P, millel on defineeritud binaarne seos ≤ (osaline järjestus), mis on refleksiivne, transitiivne ja antisümmeetriline, ehk teiste sõnadega, hulga P mis tahes elementide a, b ja c puhul kehtivad tingimused a ≤ a (refleksiivsus) kui a ≤ b ja b ≤ c, siis a ≤ c (transitiivsus) kui a ≤ b ja b ≤ a, siis a = b (antisümmeetrilisus) Nii naturaalarvude, täisarvude, ratsionaalarvude ja reaalarvude tavapärane järjestus on osaline järjestus. Ent nende järjestuste puhul on tegemist lineaarse järjestuse, ehk teiste sõnadega, hulga P mis tahes erinevate elementide korral kehtib lisatingimus: a ≤ b või b ≤ a (täielikkus) Lineaarselt järjestatud hulka nimetatakse ka ahelaks. Enamik klassikalisi järjestusi on küll lineaarsed, kuid hulkade järjestus, mis tekib sellest, et üks hulk võib olla teise alamhulk, ei ole lineaarne.