ordine totale

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

a ≤ a (riflessività)

se a ≤ b e b ≤ a, allora a = b (antisimmetria)

se a ≤ b e b ≤ c allora a ≤ c (transitività)

a ≤ b oppure b ≤ a (totalità)