Пусть $f: X \rightarrow Y$, $y \in Y, A \subset X, B \subset Y$. Полным прообразом элемента $y$ при отображении $f$ называется множество {x ∈ X | f(x)= y}. Обозначение: $f^{−1}(y)$. Образом множества $A \subset X$ при отображении $f$ называется множество {$f(x)$ | $x \in A$}. Обозначение: $f [A]$. Прообразом множества $B \subset Y$ называется множество {$x \in X$ | $f(x) \in B$}. Обозначение: $f^{−1}[B]$.