Dichotóm reláció

A dichotóm reláció olyan matematikai reláció, amelyre teljesül, hogy bármely $a$ és $b$ elemekre vagy $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ó, de mindkét irányban semmiképpen). Vagyis ha a relációnk $\rho$, akkor $\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.