insieme totalmente ordinato

In matematica un ordine totale, detto anche ordine lineare, entro un insieme X è una relazione binaria su 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:per ogni a 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à)
Per saperne di più visita Wikipedia.org...