Do you really want to send linux8086 a message saying you like their work?
In discrete mathematics, a relation is transitive if there is a relation from a->b, b->c, there must also be a relation from a->c. See also Warshall's algorithm, transitive closure.