(los subconjuntos formados por todos los números relacionados con uno fijo) definen una partición de los Enteros, es decir, su reunión es todo el conjunto y son disjuntos dos a dos.