Transitive relation

A relation \( R \) on a set is called a transitive relation if, for all elements \( a, b, c \) in that set, whenever \( a \) is related to \( b \) (denoted \( aRb \)) and \( b \) is related to \( c \) (denoted \( bRc \)), then \( a \) must also be related to \( c \) (denoted \( aRc \)).