binary relation R with the property that xRy and yRz implies xRz
via Wikipedia infobox
In mathematics, a binary relation R on a set X is transitive if, for all elements a, b, c in X, whenever R relates a to b and b to c, then R also relates a to c.
Every partial order and every equivalence relation is transitive. For example, less than and equality among real numbers are both transitive: If a < b and b < c then a < c; and if x = y and y = z then x = z.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).