Lineaarne järjestus

Lineaarseks järjestuseks nimetatakse matemaatikas osalist järjestust, mille puhul iga elementide paar on võrreldav. Lineaarne järjestus on binaarne seos $\leq$ antud hulgal $X$ mille puhul on tõesed järgnevad väited $a$, $b$ ja $c$ puhul hulgas $X$:

1. $a\leq a$ (refleksiivne).
2. Kui $a\leq b$ ja $b\leq c$ siis $a\leq c$ (transitiivne).
3. Kui $a\leq b$ ja $b\leq a$ siis $a=b$ (antisümmeetriline).
4. $a\leq b$ või $b\leq a$ (tugevalt ühendatud ehk lineaarne).

Refleksiivsus (1) juba tuleneb ühendatusest (4), aga mitmed autorid nõuavad seda, et näidata seost osalise järjestusega. Hulka, millel on defineeritud lineaarne järjestus, nimetatakse lineaarselt järjestatud hulgaks ehk ahelaks.

Vaata ka

• Täielik järjestus

Allikad

• Halmos, Paul R. (1968). Naive Set Theory. Princeton: Nostrand.