Transitive relation
= Transitive relation
{wiki=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 \\)).