# Definition:Identity (Abstract Algebra)/Left Identity

## Definition

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

An element $e_L \in S$ is called a left identity if and only if:

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

## Also known as

• Left neutral element
• Left unit