olemus
binaarseos S mingis hulgas, järgmise omadusega:
kui xSy ja ySz, siis xSz selle hulga mis tahes elementide x, y, z korral
= binary relation defined on a set such that if the first element is related to the second element, and the second element is related to the third element of the set, then the first element must be related to the third element

ülevaateid
https://encyclopediaofmath.org/wiki/Transitive_relation
https://en.wikipedia.org/wiki/Transitive_relation
https://www.cuemath.com/algebra/transitive-relations/