In [[matematica]], un '''ordine semplice/ordine totale''' o '''ordinamento totaleordine''' o '''lineare''' (o '''relazione d'ordine totale''' o '''lineare''') è una [[relazione binaria]] su un [[insieme]] X che è [[relazione riflessiva|riflessiva]], [[relazione antisimmetrica|antisimmetrica]], [[relazione transitiva|transitiva]] (quindi una [[relazione d'ordine]]) e [[relazione totale|totale]]. Questo significa che, se denotiamo una tale relazione con ≤, valgono i seguenti enunciati per tutti gli ''a'', ''b'' e ''c'' elementi di ''X'':
