Binarne relacije: razlika između inačica

Binarna relacija je '''(strogi) parcijalni uređaj''', ako je antirefleksivna i tranzitivna. Ako dodatno dopustimo jednakost elemenata uz tako definiranu relaciju, novonastala relacija naziva se '''refleksivna relacija parcijalnog uređaja''', antisimetričnarelacija ikoja je refleksivna, tranzitivna i antisimetrična.

Ako dodatno vrijedi i <math>(\forall x,y \in S)</math>, <math>(x\mathcal R y \lor y\mathcal R x)</math>, za relaciju kažemo da je '''totalni uređaj''', a navedeno svojstvo relacije nazivamo usporedivost ili potpunost.