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.

In matematica una relazione è un sottoinsieme del prodotto cartesiano di due o più insiemi.