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