hyperring

Noun

 * 1)  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.