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