hypersemigroup noun1 •A nonempty set for which the set of all subsets forms a semiring. formshypersemigroups