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