Noun
semihypergroup (plural semihypergroups) (mathematics) Any hypergroup for which the reproduction axiom is valid.