Definition 2.6.7.  Let G be a group, a ∈ G. We define:
a-1:= i(a) if G = [G, , e, i] (G is a set, :G × G → G is an operation on G, e ∈ G, i:G → G is a function such that (G, , e, i) forms a group)