Пусть

и

– кольца (с единицами), причём

и

. В обозначениях колец символы

и

обозначают бинарные операции, символы

и

– унарные операции, а символы

и

– нейтральные элементы соответствующих колец.
Пусть отображение

является кольцевым морфизмом кольца

в кольцо

.
Тогда ядром этого морфизма может быть множество …