Processing math: 100%
Transitive relation
Set
context
X
definiendum
R
∈
T
r
a
n
s
i
t
i
v
e
R
e
l
(
X
)
context
R
∈
R
e
l
(
X
)
x
,
y
,
z
∈
X
postulate
definiendum
x
R
y
∧
y
R
z
⟹
x
R
z
Discussion
Parents
Subset of
Binary relation on a set
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms
