1. Noun. (mathematics) Any algebraic group equipped with a hyperoperation. ¹
¹ Source: wiktionary.com