Каждому натуральному числу поставлен в соответствие остаток, который получается при делении этого числа на 5. между какими множествами установлено таким соответствие? является ли оно взаимно однозначным?

Между множеством натуральных чисел и конечным множеством

Действительно, согласно определению деления:

где – делимое, – делитель, – частное, – остаток.
При

Нет, это не взаимо однозначное соответствие, т.к. одинаковый остаток при делении на даёт бесконечное множество чисел, например, остаток равный , дают числа вида