transitive is a relationship property that tells that the relationship follows the following rule:
In mathematical notation, the relation f is transitive between x and y and z when <MATH> y = f(x) \\ z = f(y) \\ \text{then } z = f(c) \\ </MATH>
Transitivity is a key property of both:
A transitive relation is:
if aRb and bRa, transitivity gives aRa, contradicting irreflexivity.