User:Jshflynn/Left Zero Semigroup

Definition
Let $\left({S, \circ}\right)$ be a semigroup.

Then $\left({S, \circ}\right)$ is a left semigroup iff:


 * $\forall x, y \in S: x \circ y = x$

Also see

 * Right Zero Semigroup