Noun
hyperring (plural hyperrings)
(mathematics) A nonempty set R that supports hyperaddition as an abelian hypergroup with neutral element 0, multiplication as a monoid with identity element one, supports the distributive law, and for which multiplication by zero always yields the result 0.