Relazione d'ordine

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

• riflessiva;
• antisimmetrica;
• transitiva.

Si definisce insieme parzialmente ordinato (oppure ordine) la coppia costituita da un insieme e da una relazione d'ordine su di esso. Le relazioni d'ordine si indicano spesso con i simboli ${\displaystyle \leq }$, ${\displaystyle \subseteq }$, ${\displaystyle \sqsubseteq }$ e ${\displaystyle \preccurlyeq }$.

In lingua inglese un insieme parzialmente ordinato è anche detto concisamente poset (Partially Ordered Set), e questo termine è usato gergalmente anche nella lingua italiana.