Right-normal subsemigroup

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