# Normal subhypergroup

From Groupprops

ANALOGY: This is an analogue in hypergroup of a property encountered in group. Specifically, it is a subhypergroup property analogous to the subgroup property: normal subgroup

View other analogues of normal subgroup | View other analogues in hypergroups of subgroup properties (OR, View as a tabulated list)

## Contents

## Definition

### Symbol-free definition

A subhypergroup of a hypergroup is said to be **normal** if it commutes with every point measure.

### Definition with symbols

A subhypergroup of a hypergroup is said to be **normal** if for every point .

## Analogy

The notion of normality for subhypergroup is analogous to the subgroup property of normality, when defined/viewed as follows:

A subgroup of a group is termed normal if for all elements .