Common types of relations
Reflexive
Symmetric
Transitive
Equivalence
Inverse
A relation can have one, multiple, or none of these properties.
Transitive relation (brief)
A relation is transitive if:
If (a,b) and (b,c) are in the relation, then (a,c) must be in the relation.