Пусть  и  – кольца (с единицами), причём  и . В обозначениях колец символы  и  обозначают бинарные операции, символы  и  – унарные операции, а символы  и  – нейтральные элементы соответствующих колец.
Пусть отображение  является кольцевым морфизмом кольца  в кольцо .
Тогда ядром этого морфизма может быть множество …