Eine Ordnungsrelation ≼ {\displaystyle {}\preccurlyeq } auf einer Menge I {\displaystyle {}I} heißt lineare Ordnung (oder totale Ordnung), wenn zu je zwei Elementen x , y ∈ I {\displaystyle {}x,y\in I} die Beziehung x ≼ y {\displaystyle {}x\preccurlyeq y} oder y ≼ x {\displaystyle {}y\preccurlyeq x} gilt.
