Mostrar que a relação S sobre ZxZ* tal que (a,b)S(c,d) Û a d = b c é uma relação de equivalência. numeros inteiros positivos e negativos x numeros inteiros positivos e negativos não nulos(ou seja sem zero). a relação de equivalência é feita por uma igualdade entre ambas as ordenadas(ou seja entre ambos x e y ou coordenadas dos pontos). a/c=b/d se b=d logo c.b=d.a sendo b e d iguais o valor efetuado pela multiplicação terá que resultar em um valor igual para que torne a sentença verdadeira e um dos lados poderá ser inteiro positivo ou negativo e até nulo e outro lado da igualdade só poderá ser inteiro positivo ou negativo não nulo.