ordinamento
In matematica, relazione binaria tra elementi appartenenti a un insieme, detta anche relazione d’ordine, che gode delle seguenti proprietà: riflessività (a≤a, per ogni elemento a dell’insieme), antisimmetria (se a≤b e b≤a, allora a=b) e transitività (se a≤b e b≤c, allora a≤c). La coppia costituita da un insieme e da un o., o relazione d’ordine, si dice insieme (parzialmente) ordinato. Se vale anche la proprietà di totalità, ossia l’o. si applica su tutti gli elementi di un insieme (a≤b oppure b≤a), allora esso si dice totale o lineare e l’insieme è totalmente, o linearmente, ordinato.