Processing math: 100%
Trichotomous relation
Set
context
X
definiendum
R
∈
T
r
i
c
h
o
t
o
m
o
u
s
R
e
l
(
X
)
x
,
y
∈
X
postulate
x
R
y
∨
y
R
x
∨
x
=
y
Discussion
Parents
Subset of
Binary relation on a set
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms