Relazione d'ordine parziale

Sia $\le$ una Relazione d'ordine sull'insieme S (e quindi $(S,\le)$ un insieme ordinato)
Se \forall (x,y) \in S^2, vale (x,y) \not \in \le \or (y,x) \not \in \le si dice che la relazione d'ordine è una relazione d'ordine parziale
Per esempio, la relazione di divisibilità in un insieme di interi è una relazione d'ordine parziale
In un insieme parzialmente ordinato acquistano di significato i concetti di minimale e massimale
Il concetto dualmente opposto è quello di Relazione d'ordine totale