Na verdade, acho que a Amanda se confundiu na explicação.
Esses quatro conjuntos particionam o conjunto dos inteiros da seguinte maneira:

: contém todos os múltiplos de 4, ou seja, números que deixam resto zero na divisão por 4.

: contém todos os números que deixam resto 1 quando divididos por 4.

: contém todos os números que deixam resto 2 quando divididos por 4.

: contém todos os números que deixam resto 3 quando divididos por 4.