Uma importante relação existente no conjunto Z é a relação de congruência. Dizemos que dois números inteiros x e y são congruentes módulo m ( m > 0), quando a diferença x - y for um múltiplo de m, ou seja, k E Z existe tal que x - y = km . Escrevemos: x = y (mod m). Mostre que essa relação é uma relação de equivalência, ou seja: x = x (mod m) (reflexividade); Se x = y (mod m) , então y = x (mod m) (simetria); Se x = y (mod m) e y = z (mod m), então x = z (mod m) (transitividade)