Etymology
Today it means: A nonempty set for which the set of all subsets forms a semiring. Full definition →
From hyper- + semigroup.
Etymology from Wiktionary, CC BY-SA 4.0.