MathGloss

A binary relation on a set $X$ is transitive if for all $a,b,c\in X$, if $a$ is related to $b$ and $b$ is related to $c$, then $a$ is related to $c$.

Wikidata ID: Q64861