Индуцированная функция

Пусть и пусть . Тогда множество

называется образом множества , а множество – прообразом множества . Заметим, что F является отношением из множества в множество .

Теорема.

Если – функция, то и – тоже функции

Замечание.

называется индуцированной функцией, а -переходам к прообразам.