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 ≤ {\displaystyle \leq } antud hulgal X {\displaystyle X} mille puhul on tõesed järgnevad väited a {\displaystyle a} , b {\displaystyle b} ja c {\displaystyle c} puhul hulgas X {\displaystyle X} : a ≤ a {\displaystyle a\leq a} (refleksiivne). Kui a ≤ b {\displaystyle a\leq b} ja b ≤ c {\displaystyle b\leq c} siis a ≤ c {\displaystyle a\leq c} (transitiivne). Kui a ≤ b {\displaystyle a\leq b} ja b ≤ a {\displaystyle b\leq a} siis a = b {\displaystyle a=b} (antisümmeetriline). a ≤ b {\displaystyle a\leq b} või b ≤ a {\displaystyle 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.