Composición de relaciones

[fgallard]

No entiendo qué definición de composición utiliza aquí. No debería ser que si b(SoT)a entonces (b,z)enS (z,a)enT?? pero acá dice que (z,b)enS y (z,a)enT lo que al final es lo mismo porque como es relación de equivalencia debe ser simétrica (pero me gustaría saber si está mal o bien aplicado)

[fgallard]

Lo mismo con la conclusión de las últimas 2 líneas que está rarísima. Ahí estarías demostrando que (a,b)enToS y no que (b,a)enTos como dice la pauta (de hecho es la primera la que nos sirve para demostrar que se cumple lo pedido, porque partimos tomando (a,b) ) Edit: después vi en la misma pregunta en otro punto y lo hace al revés, me gustaría saber cuál es la que se evalua en cuál en el caso de las composiciones. En otras palabras, que par de a,z z,b etc debe ir asociado a cada relación.

[c4ebt]

Hola!

Esa pregunta+pauta es sacada de una prueba pasada. Lamentablemente existen diferencias de notación o diferencias sutiles en definiciones de algunos conceptos, y he notado que el orden en que se aplican las relaciones en una composición es uno de los conceptos que se plantea un poco diferente dependiendo del año. Efectivamente el planteamiento de esa pauta no concuerda con la definición precisa de composición de relaciones vista este semestre.

Por otra parte, es verdad que al final debería ser que $(a, b) \in T \circ S$, y no $(b, a)$. Con esto en consideración, la conclusión del subconjunto es correcta (considerando que antes debería decir $(a, b)$ y no $(b, a)$ ).