Left Identity

An element $e\in A$ is a left identity for a Binary Operation $\ast$ on a Set A if for all $a\in A$, $e\ast a = a$.