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 .