Zbiór  to dziedzina funkcji. Chcąc ją zapisać, mamy:

Funkcja dla każdego argumentu przyporządkowuje wartość postaci reszty z dzielenia przez , czyli na przykład: