Parcijalni uređaj

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

Relacija [math]\displaystyle{ \prec }[/math] na skupu A je strogi parcijalni uređaj

ako vrijedi

[math]\displaystyle{ a \prec b \Rightarrow a \neq b }[/math](antirefleksivnost)

i ako vrijedi

[math]\displaystyle{ a \prec b }[/math] & [math]\displaystyle{ b \prec c \Rightarrow a \prec c }[/math] (tranzitivnost)