Eine Relation ist trichotomisch, wenn für alle X und Y aus der Grundmenge genau eine der drei folgenden Aussagen richtig ist:

- (X Y) ist in der Relation enthalten,
- (Y X) ist in der Relation enthalten oder
- X = Y.


Trichotomische Relationen sind immer auch

- irreflexiv (siehe irreflexive Relation),
- asymmetrisch (siehe asymmetrische Relation) und
- total (siehe totale Relation).