Vos sabés que para que sea transitiva, si \(aRb\) y \(bRc \Rightarrow aRc\)
En esta relación 1*(a)* está relacionado con 1*(b), y 1(b)* está relacionado con 1*(c), entonces 1(a)* está relacionado con 1*(c)*.
Y lo mismo pasa con 2 y 3.
Parece medio extraño, pero si te fijás bien se cumple la definición.