SEMIRING

полукольцо. Множество S, на котором определены две операции (сложение и умножение), причем S является моноидом по каждой из этих операций, сложение коммутативно, а умножение дистрибутивно по отношению к сложению. (Например, множество натуральных чисел с обычными сложением и умножением).