Dichotóm reláció

A dichotóm reláció olyan matematikai reláció, amelyre teljesül, hogy bármely $a$ és $b$ elemekre $a$ relációban áll $b$-vel, vagy $b$ relációban áll $a$-val (vagyis valamilyen irányban biztosan fennáll a reláció, akár mindkét irányban is). Vagyis ha a relációnk $\rho$, akkor $\mathrm{\forall }a,b:[(a;b)\in \rho \vee (b;a)\in \rho ].$

Használata

Egy reláció akkor és csak akkor rendezési reláció, ha részbenrendezési reláció és dichotóm.