# Subhypergroup

From Groupprops

## Definition

### Definition with symbols

A subset of a hypergroup is said to be a **subhypergroup** if satisfies the following three conditions:

- The identity element of lies inside
- The involute of any element of lies inside
- The convolution of any two probability measures that lie only inside also lies inside

### Analogy with definition of subgroup

The three conditions for a subhypergroup correspond closely with the three conditions for a subgroup.

- The requirement that the identity element of the hypergroup lie inside the subset corresponds to the requirement that the identity element of the group lie inside the subset
- The requirement that the involute of any element of the subset also lie inside the subset corresponds to the requirement that the inverse of any element in the subset (of the group) also lie inside the subset
- The requirement that the convolution of probability measures inside the subset also lie inside the subset corresponds to the requirement that the product of any two elements inside the subset (of the group) also lie inside the subset