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