Left-normal subsemigroup

Definition
A subsemigroup $$N$$ of a semigroup $$S$$ is termed left-normal if for all $$g \in S$$, $$gN \subseteq Ng$$.