Search
Search
Dark mode
Light mode
Graph View
transitive
1 min read
Transitive
∀
x
,
y
,
z
∈
A
:
x
R
y
∧
y
R
z
⟹
x
R
z
