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