Trichotomous relation
Set
context
$X$
definiendum
$ R\in\mathrm{TrichotomousRel}(X) $
$ x,y\in X $
postulate
$ xRy \lor yRx\lor x=y $
Discussion
Parents
Subset of
Binary relation on a set