Etymology
Today it means: A specific type of subset of a hypergroup Full definition →
From sub- + hypergroup.
Etymology from Wiktionary, CC BY-SA 4.0.