Valero Angel Serrano Mercadal respondió:
Habrá que demostrar que cumple las propiedades reflexiva, simétrica y transitiva. i) Reflexiva: (a,b)~(a,b) porque a+b = a+b y si a=a' y b=b' podemos hacer las sustituciones siguientes a+b' = a'+b ii) Simétrica Si se cumple (a,b)~(a',b') ==>...