In matematica, più precisamente in teoria degli ordini, una relazione d'ordine su di un insieme è una relazione binaria tra elementi appartenenti all'insieme che gode delle seguenti proprietà:

• riflessiva
• antisimmetrica
• transitiva.