Kváziusporiadanie

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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: