Tour:Equivalence of definitions of group