Inverse

for all $g\in G$, there is $h\in G$, $g\cdot h=h\cdot g=e$