MathGloss

A binary relation on a set XX is transitive if for all a,b,cXa,b,c\in X, if aa is related to bb and bb is related to cc, then aa is related to cc.

Wikidata ID: Q64861