**Definition**: Given a set $S$ and a [[Binary Operation]] $*$ on $S$. Take $a \in S$. We say that $b\in S$ is the inverse of $a$ if $a*b=b*a = e$where $e$ is the [[Identity element of a binary operation|identity element]]. ### References - [[Groups]] - [[Rings]]