Изменения

Тогда, <tex> \forall c \in C : g(c) = f(c) </tex>, и g - сужение f на C, <tex> g = f \big| C </tex>

<tex> A = D(f) </tex> - область определения f <tex> R = \{ b | b = f(a), a \in A \} </tex> - область значений f   <tex> C \subset A ; f(C) = \{f(a)| a \in A \} </tex> - образ множества C при отображении f <tex> D \subset B ; f^{-1}(D) = \{a| a \in A, f(a) \in D \} </tex> - прообраз множества D при отображении f