nLab trichotomous relation



A trichotomous relation on a set SS is a relation R(x,y)R(x, y) which satisfies trichotomy:

  • for all xSx \in S and ySy \in S, exactly one of R(x,y)R(x, y), R(y,x)R(y, x), x=yx = y is true.


Last revised on February 22, 2024 at 04:56:06. See the history of this page for a list of all contributions to it.