Let $X$ be a set with binary operation $$. An element $e\in X$ is a left identity of $X$ if $x a = a$ for all $a\in A$.
Wikidata ID: Q185813