Hola
El método de Luis Fuentes es CORRECTO. Un elemento que entra a tallar en el método, es la intuición que se refuerza; cuando se plasman los conceptos del problema. Ejemplifico :
R es simétrica entonces \( \forall{(x,y)\in{R}}, \ (y,x)\in{R} \)
R es transitiva entonces si \( (x,y) \wedge (y,x)\in{R}\Rightarrow{(x,x)\in{R}} \)
¿Esto es para todo \( x\in{A} \)? ¿Es reflexiva R?
Saludos