1. (в алгебрі) Відображення між двома алгебричними структурами (наприклад, групами, кільцями, векторними просторами), яке зберігає операції, властиві цим структурам; морфізм у категорії алгебричних систем.
2. (в теорії графів) Відображення між двома графами, що зберігає суміжність вершин.
3. (в інформатиці та теорії формальних мов) Відображення між двома алфавітами, яке поширюється на слова та мови, замінюючи кожен символ вихідного слова на відповідне слово-образ.