Processing math: 100%
Total relation
Set
context
X
definiendum
R
∈
T
o
t
a
l
R
e
l
(
X
)
context
R
∈
R
e
l
(
X
)
x
,
y
∈
X
postulate
x
R
y
∨
y
R
x
Discussion
Wikipedia:
Total relation
Parents
Subset of
Binary relation on a set