Transitive Relation

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