Специального вида отображение одного экземпляра некоторой математической структуры во второй экземпляр такого же типа.