hyperring

Today it means: 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. Full definition →