Индуцированная функция.
Пусть и пусть . Тогда множество
называется образом множества , а множество – прообразом множества . Заметим, что F является отношением из множества в множество .
Теорема.
Если – функция, то и – тоже функции
Замечание.
называется индуцированной функцией, а -переходам к прообразам.