# Definition:Left Zero

## Definition

Let $\struct {S, \circ}$ be an algebraic structure.

An element $z_L \in S$ is called a left zero element (or just left zero) if and only if:

$\forall x \in S: z_L \circ x = z_L$