Por lo tanto, las clases de equivalencia de ambas relaciones coinciden, por lo que sus conjunto cocientes coinciden?