A relation R on a set A is transitive if when an element a is related to an element b, and b is related to an element c, then a is related to c.