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

Link to graph
Log In
Improvements of the human condition
limeGraphxioms