Inverse: let g^ = the inverse of g. in G forall g in G there exists g^ in G s.t. g*g^=g^g=e e=identity element.