Каждому натуральному числу \(n\) ставится в соответствие остаток \(r\) от деления этого числа на 3. В рассматриваемой функциональной зависимости:

Область определения функции \(n\) – это множество всех натуральных чисел, а множество значений функции \(r\) – это {0, 1, 2}, так как остаток от деления на 3 может быть только одним из этих значений.