Inverse (Algebra)

Let $(A,\ast ,e)$ be a unital magma.

• A left inverse of $x:A$ in is an element $y$ such that $y\ast x=e$.
• A right inverse of $x:A$ in is an element $y$ such that $x\ast y=e$.