Inverse

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