Inverse Element

Definition

Let $(S,\ast )$ be a set $S$ equipped with a binary associative operation $\ast$. The $x\in S$ that satisfies $(x\ast y=e)\wedge (y\ast x=e)$ is the inverse element of $\in S$ where an element $e$ is an Identity Element.