hypergroup (group + hyper-; above_excessive)
Any algebraic group equipped with a hyperoperation