В один класс эквивалентности попадут те элементы, которые сравнимы по модулю 4. То есть те числа, которые при делении на 4 дают одинаковые остатки.