Category:Equivalence Relation/Examples/Congruence Modulo Natural Number