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.