La relación ≡ se puede ver como una congruencia en Z o como una igualdad en Z.