La colección de todos esos números es una clase de congruencia.