Иньекция, сурьекция, биекция

Отображения множеств

X = D_f — область определения отображения f

Совокупность y ∈ Y: ∃ x ∈ X, таких, что y = f(x) обозначается Imf или

Y_f — область значений отображения;

y — образ x при отображении f;

x — прообраз y при отображении f.