Пусть

и

– группы, в которых бинарные операции обозначены символами

и

, операции взятия обратных элементов (унарные операции) обозначены

и

, а

и

– единичные элементы.
Пусть

– групповой морфизм (гомоморфизм группы

в группу

).
Тогда отображение

может не обладать свойством …

(здесь

– символ прообраза)