Def. Алгебраическая система с двумя бинарными операциями ” + ” и ” . ” относительно которых - абелева группа, - полугруппа, а также выполнено свойство дистрибутивности: для любых называется кольцом.

алгебраическиесистемы