Основные обозначения

a  b (mod m) – целые числа а и b сравнимы по модулю m  N

– класс вычетов по натуральному модулю с представителем i

Z/mZ – множество классов вычетов по натуральному модулю m

 – функция Эйлера (тотиент-функция)

q: Х  Y – существование соответствия q между множествами Х и Y

А  В – прямое (декартово) произведение множеств А и В

А = В – множества А и В равны

q = (X, Y, Q) – соответствие q с областью отправления X, областью прибытия Y и графиком Q

D(q) – область определения соответствия q

E(q) – область значений соответствия q

q(х) – образ элемента х при соответствии q

q^–1(y) – прообраз элемента y при соответствии q

q(С) – образ множества С при соответствии q

q^–1(D) – прообраз множества D при соответствии q

p = q – отображения р и q равны

или q(x) = y – функциональное соответствие q сопоставляет элементу х единственный элемент у

е_Х – тождественная функция на множестве Х

R² – декартова вещественная плоскость

q^–1 – соответствие, обратное соответствию q

 – пустое множество

А  В – множества А и В не равны

А  В – пересечение множеств А и В

gf или gf – композиция функций f и g

f_A – сужение функции f на множество А