Left Inverse

An element $\bar{a}\in A$ is a left inverse for $a\in A$ under the Binary Operation $\ast$ on the Set A if $\bar{a}\ast a = e$ where e is the Identity.