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