hypersemigroup

Noun

 * 1)  A nonempty set for which the set of all subsets forms a semiring.