Noun
hypersemigroup (plural hypersemigroups) (mathematics) A nonempty set for which the set of all subsets forms a semiring.