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: aa
    2) kui mingi naturaalarvude paari a ja b korral: ab ja ba, siis a=b.
    3) kui mingite kolme naturaalarvu a, b ja c korral ab ja bc, siis ac.
  • Mistahes hulga potentshulgal defineeritud alamhulgaks olemise seos ⊆ on osaline järjestus.


[redigeeri] Vaata ka