Гомоморфизм

ИЗОМОРФИЗМ И ГОМОМОРФИЗМ (греч. isos — одинаковый, homoios — подобный и morphe — форма) — понятия, характеризующие соответствие между структурами объектов. Две системы, рассматриваемые отвлеченно от природы составляющих их элементов, являются изоморфными друг другу, если каждому элементу первой системы соответствует лишь один элемент второй и каждой связи в одной системе соответствует связь в другой, и обратно. Такое взаимооднозначное соответствие называется изоморфизмом.

ГОМОМОРФИЗМ [от греч. … равный и … — образ] (в математике и логике) — такое соответствие между двумя системами объектов с определенными для этих объектов отношениями, при котором каждому объекту первой системы поставлен в соответствие ровно один объект второй системы и каждому отношению первой системы поставлено в соответствие ровно одно отношение второй системы.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 82.