Sia $S$ un insieme non vuoto e sia $\leq$ una relazione definita su $S$. Quindi $\leq \subseteq S\times S$. Allora questa relazione è detta di ordine parziale se questa rispetta le seguenti proprietà:
In questo caso $S$ viene anche detto POSET. (Partially Ordered Set) (Insieme parzialmente ordinato)