MathGloss

Let XX be a set with binary operation $.Anelement. An element e\in X$ is a left identity of XX if $x a = aforall for all a\in A$.

Wikidata ID: Q185813