If ( is a relation):

is a transitive relation if for each , and from and .

Transitive relations are:

  • “greater than” in the set of real numbers
  • “is subset of” in set theory
  • “equality” in the set of real numbers