Dado el conjunto A y una relación R, esta relación es transitiva si: "a R b" y "b R c" se cumple "a R c".