Parcijalni uređaj

(Strogi) parcijalni uređaj je binarna relacija ako je antirefleksivna i tranzitivna.

Relacija $\prec$ na skupu A je strogi parcijalni uređaj

ako vrijedi

$a\prec b\Rightarrow a\ne b$(antirefleksivnost)

i ako vrijedi

$a\prec b$ & $b\prec c\Rightarrow a\prec c$ (tranzitivnost)