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 \)).
