Normal subsemigroup

Definition
A subsemigroup $$N$$ of a semigroup $$S$$ is termed a normal subsemigroup if, for every $$g \in S$$, we have $$gN = Ng$$.

Weaker properties

 * Stronger than::Left-normal subsemigroup
 * Stronger than::Right-normal subsemigroup