Wiktionary
semihypergroup
n. (context mathematics English) Any hypergroup for which the reproduction axiom is valid.