1. Noun. (mathematics) Any hypergroup for which the reproduction axiom is valid. ¹
¹ Source: wiktionary.com