**Definition :** Let R be a relation, R is transitive if, for any a, b and c in G, then aRb and bRc implies aRc.

A quick example is R defined as . Now if and then . Here’s another example, Let R be defined as . and this means that since both and both have a remainder of when divided by .

**See Also :** Equivalence Relation, Reflexive Property, Symmetric Property.