Preskočiť na obsah

Kváziusporiadanie

z Wikipédie, slobodnej encyklopédie

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:

  • (reflexivita)
  • (tranzitivita)