Osaline järjestus

Osaline järjestus ehk järjestus on matemaatikas binaarne seos, mis on refleksiivne, antisümmeetriline ja transitiivne. Osalist järjestust tähistatakse tavaliselt sümboliga ≤.

[redigeeri] Näited

• Naturaalarvude hulga loomulik järjestus on osaline järjestus, sest

  1) mis tahes naturaalarvu a korral: a ≤ a

  2) kui mingi naturaalarvude paari a ja b korral: a ≤ b ja b ≤ a, siis a=b.

  3) kui mingite kolme naturaalarvu a, b ja c korral a ≤ b ja b ≤ c, siis a ≤ c.

• Mistahes hulga potentshulgal defineeritud alamhulgaks olemise seos ⊆ on osaline järjestus.

[redigeeri] Vaata ka

• osaliselt järjestatud hulk (järjestatud hulk)
• range järjestus
• täielik järjestus
• lineaarne järjestus
• kvaasijärjestus
• leksikograafiline järjestus