transitive relation
A relation on a set is transitive
if and only if, .
For example, the “is a subset of” relation on any set of sets is transitive.The “less than” relation on the set of real numbersis also transitive.
The “is not equal to” relation on the set of integers is not transitive,because and does not imply .