Legyen adott egy H halmaz és egy ezen a halmazon értelmezett R reláció, valamint tegyük fel, hogy a és b a H halmaz tetszőleges elemei. Ha minden ilyen esetben aRb és bRa közül legalább az egyik teljesül, akkor azt mondjuk, hogy az R reláció trichotóm.