olemus
binaarseos S mingis hulgas, järgmise omadusega:
kui xSy ja ySz, siis xSz ,
selle hulga mis tahes elementide x, y, z korral

ülevaateid
https://encyclopediaofmath.org/wiki/Transitive_relation

https://en.wikipedia.org/wiki/Transitive_relation

https://www.cuemath.com/algebra/transitive-relations/