Definition, synonyms and related words
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.