Proposition $3\mathrm{.}1\mathrm{.}4.$ Given a group G$,$ then the tuple $($G$,,$e$)$withG$=\{$g$$ in G$|$g in G$\},$anda$$b$$ :$=$b$$a$$ forms a group.