algebra Definition Halbring Semiring A semiring is a special form of a ring where is not an Abelian group, but a semigroup.