Hola de nuevo,
Para el primero de los apartados, probar que es de equivalencia, se me ocurre decir que:
ARA \( \forall{} \)A\( \in{} \)M, porque podemos tomar P=I(de orden2) y A=\( I^{-1} \)AI (reflexiva)
Ahora bien la simétrica y la transitiva no sabría probarlas.