Wiktionary
hypergroup
n. (context mathematics English) Any algebraic group equipped with a hyperoperation.