Definition 2.6.6.  Let G be a group. We define
eG
by:
e[G,,e,i]:= e  (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)