Если каждому элементу $x$ множества $X$ поставлен в соответствие ровно один элемент $f(x)$ множества $Y$, то говорят, что задано отображение $f$ из множества $X$ в множество $Y$. При этом, если $f(x) = y$, то элемент $y$ называется образом элемента $x$ при отображении $f$, а элемент $x$ называется прообразом элемента $y$ при отображении $f$. Обозначение: $f: X \rightarrow Y$.