Equivalence Class/Examples/Congruence Modulo Initial Segment of Natural Numbers/Examples