تعریف left identity

Let (S, ) be a semigroup and let a,b E S. We usually write ab instead of a b. An element e in S is called a left identity if ea=a for all a E S.