A binary relation on a set XXX is transitive if for all a,b,c∈Xa,b,c\in Xa,b,c∈X, if aaa is related to bbb and bbb is related to ccc, then aaa is related to ccc.
Wikidata ID: Q64861