Kváziusporiadanie

V matematike sa binárna relácia R na množine X nazýva kváziusporiadanie (prípadne predusporiadanie alebo polousporiadanie), pokiaľ je reflexívna (každý prvok je v relácií so sebou samým) a zároveň tranzitívna (ak a je v relácií s b a b je v relácií s c, potom aj a je v relácií s c).

Formálny zápis:

• $\forall a\in X,\ aRa$ (reflexivita)
• $\forall a,b,c\in X,\ aRb\land bRc\Rightarrow \;aRc$ (tranzitivita)