Свойства функций :
Отображением А в В называется всюду определенная функция f: А --> В. Отображением А на В называется всюду определенное и при этом сюръективное функциональное соответствие f: A--> B.
Отображение типа А --> А часто называют преобразованием множества А. Функция типа
А --> А, являющаяся отображением А на A, называется перестановкой на А