# Normal subsemigroup

From Groupprops

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

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

## Definition

A subsemigroup of a semigroup is termed a **normal subsemigroup** if, for every , we have .