↑ arvau

Wikipedia / Hyperstructure

Hyperstructures are algebraic structures equipped with at least one multi-valued operation, called a hyperoperation – structures.

A hyperoperation on a nonempty set to the nonempty power set, i.e.

we define

is a semihypergroup is an associative

Furthermore, a hypergroup, where the reproduction axiom

References